TcValidity
data Rank
data UserTypeCtxt
checkValidType
checkValidMonoType
data ContextKind
expectedKindInCtxt
checkValidTheta
checkValidFamPats
checkValidInstance
validDerivPred
checkInstTermination
type ClsInfo
checkValidCoAxiom
checkValidCoAxBranch
checkValidTyFamEqn
arityErr
badATErr
checkValidTelescope
checkZonkValidTelescope
checkValidInferredKinds