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