TcValidity

data Rank

data UserTypeCtxt

checkValidType

checkValidMonoType

expectedKindInCtxt

checkValidTheta

checkValidFamPats

checkValidInstance

validDerivPred

checkInstTermination

checkValidTyFamInst

checkTyFamFreeness

checkConsistentFamInst

arityErr

badATErr