TcUnify

tcWrapResult

tcSubType

tcGen

checkConstraints

newImplication

sigCtxt

unifyType

unifyTypeList

unifyTheta

unifyKind

unifyKindEq

tcInfer

matchExpectedListTy

matchExpectedPArrTy

matchExpectedTyConApp

matchExpectedAppTy

matchExpectedFunTys

matchExpectedFunKind

wrapFunResCoercion

failWithMisMatch

mkKindErrorCtxt