TcUnify

tcWrapResult

tcSubType

tcGen

checkConstraints

newImplication

sigCtxt

unifyType

unifyTypeList

unifyTheta

unifyKind

tcInfer

matchExpectedListTy

matchExpectedPArrTy

matchExpectedTyConApp

matchExpectedAppTy

matchExpectedFunTys

matchExpectedFunKind

wrapFunResCoercion

failWithMisMatch