-type RttiInstantiation = [(TyVar, TcTyVar)]
- -- Assoicates the debugger-world type variables (which are skolems)
- -- to typechecker-world meta type variables (which are mutable,
- -- and may be refined)
+type RttiInstantiation = [(TcTyVar, TyVar)]
+ -- Associates the typechecker-world meta type variables
+ -- (which are mutable and may be refined), to their
+ -- debugger-world RuntimeUnk counterparts.
+ -- If the TcTyVar has not been refined by the runtime type
+ -- elaboration, then we want to turn it back into the
+ -- original RuntimeUnk