TcUnify
tcWrapResult
tcSubType
tcGen
checkConstraints
newImplication
sigCtxt
unifyType
unifyTypeList
unifyTheta
unifyKind
tcInfer
matchExpectedListTy
matchExpectedPArrTy
matchExpectedTyConApp
matchExpectedAppTy
matchExpectedFunTys
matchExpectedFunKind
wrapFunResCoercion
failWithMisMatch