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