Fix #10488 by unwrapping type synonyms.
[ghc.git] / compiler / types / Type.hs-boot
1 module Type where
2 import {-# SOURCE #-} TypeRep( Type, Kind )
3 import Var
4
5 isPredTy :: Type -> Bool
6
7 typeKind :: Type -> Kind
8 substKiWith :: [KindVar] -> [Kind] -> Kind -> Kind
9 eqKind :: Kind -> Kind -> Bool