|38|| || *
|We probably need to replicate quite a bit of the infrastructure used to maintain class instances for type instances. In particular, we need to suck all home package instances into a field in the `TcGblEnv` similar to `tcg_inst_env` and all external instances in a field in `Hsc.ExternalPackageState` similar to `eps_inst_env`.
|39|| || *
|Construct `InstInfo` for type equation in `tcIdxTyInstDecl1`.
| ||38|| * .
| ||39|| * .