<p><li>
TyCon (loop Type.Type, loop Type.Kind, loop DataCon.DataCon, loop Generics.GenInfo)
<p><li>
- Type (loop DataCon.DataCon, loop Subst.substTy)
+ TypeRep (loop DataCon.DataCon, loop Subst.substTyWith)
+<p><li>
+ Type (loop PprType.pprType, loop Subst.substTyWith)
<p><li>
FieldLabel(Type) <br>
TysPrim(Type) <br>