TcUnify

tcWrapResult

tcSubType

tcGen

checkConstraints

newImplication

unifyType

unifyTypeList

unifyTheta

unifyKindX

tcInfer

matchExpectedListTy

matchExpectedPArrTy

matchExpectedTyConApp

matchExpectedAppTy

matchExpectedFunTys

matchExpectedFunKind

wrapFunResCoercion