TcUnify

tcWrapResult

tcWrapResultO

tcSkolemise

tcSkolemiseET

tcSubTypeHR

tcSubTypeO

tcSubType_NC

tcSubTypeDS

tcSubTypeDS_NC_O

tcSubTypeET

checkConstraints

buildImplicationFor

unifyType

unifyTheta

unifyKind

noThing

uType

promoteTcType

swapOverTyVars

canSolveByUnification

tcInferInst

tcInferNoInst

matchExpectedListTy

matchExpectedPArrTy

matchExpectedTyConApp

matchExpectedAppTy

matchExpectedFunTys

matchActualFunTys

matchActualFunTysPart

matchExpectedFunKind

wrapFunResCoercion

occCheckExpand

metaTyVarUpdateOK

occCheckForErrors

data OccCheckResult a