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