6 GenTyVar, GenType, Type,
9 -- Functions which are, alas, necessary to break loops
10 mkTupleCon, -- Used in TyCon
13 Kind, -- Not necessary to break loops, but useful
14 GenUsage -- to get when importing AllTypes
17 import TyCon ( TyCon, Arity(..) )
18 import Type ( GenTyVar, TyVar(..), GenType, Type(..) )
19 import Class ( Class,ClassOp )
20 import Id ( Id, mkTupleCon )
22 import Usage ( GenUsage, Usage(..) )