ghc-7.9.20140715: The GHC API

Safe HaskellNone
LanguageHaskell2010

TcMType

Documentation

type TcTyVar = TyVar

type TcKind = Kind

type TcType = Type

zonkCt :: Ct -> TcM Ct