then
VarEnv, VarSet, ThinAir
then
- Class (loop TyCon.TyCon, loop Type.Type, loop InstEnv.InstEnv)
+ Class (loop TyCon.TyCon, loop Type.Type)
then
TyCon (loop Type.Type, loop Type.Kind, loop DataCon.DataCon)
then
then
Literal (TysPrim, PprType), DataCon
then
- InstEnv (Unify)
-then
TysWiredIn (DataCon.mkDataCon, loop MkId.mkDataConId)
then
PrimOp (PprType, TysWiredIn)