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