TcUnify

tcWrapResult

tcWrapResultO

tcSkolemise

tcSkolemiseET

tcSubTypeHR

tcSubType

tcSubTypeO

tcSubType_NC

tcSubTypeDS

tcSubTypeDS_O

tcSubTypeDS_NC

tcSubTypeDS_NC_O

tcSubTypeET

tcSubTypeET_NC

checkConstraints

buildImplicationFor

unifyType_

unifyType

unifyTheta

unifyKind

noThing

uType

unifyExpType

swapOverTyVars

canSolveByUnification

tcInfer

matchExpectedListTy

matchExpectedPArrTy

matchExpectedTyConApp

matchExpectedAppTy

matchExpectedFunTys

matchActualFunTys

matchActualFunTysPart

matchExpectedFunKind

wrapFunResCoercion