TcUnify

tcWrapResult

tcGen

tcSubType

tcSubType_NC

tcSubTypeDS

tcSubTypeDS_NC

checkConstraints

newImplication

unifyType

unifyTypeList

unifyTheta

unifyKindX

tcInfer

matchExpectedListTy

matchExpectedPArrTy

matchExpectedTyConApp

matchExpectedAppTy

matchExpectedFunTys

matchExpectedFunKind

wrapFunResCoercion