TcValidity
data Rank
data UserTypeCtxt
checkValidType
checkValidMonoType
expectedKindInCtxt
checkValidTheta
checkValidFamPats
checkValidInstance
validDerivPred
checkInstTermination
checkValidTyFamInst
checkTyFamFreeness
checkConsistentFamInst
arityErr
badATErr