match, matchTy, matchTys
) where
-import Type ( Type(..), funTyCon, typeKind, tyVarsOfType,
- splitAppTy_maybe
+import TypeRep ( Type(..), funTyCon
+ ) -- friend
+import Type ( typeKind, tyVarsOfType, splitAppTy_maybe
)
import Var ( TyVar, tyVarKind )