TcUnify
tcWrapResult
tcGen
tcSubType
tcSubType_NC
tcSubTypeDS
tcSubTypeDS_NC
checkConstraints
newImplication
unifyType
unifyTypeList
unifyTheta
unifyKindX
tcInfer
matchExpectedListTy
matchExpectedPArrTy
matchExpectedTyConApp
matchExpectedAppTy
matchExpectedFunTys
matchExpectedFunKind
wrapFunResCoercion