TcUnify
tcWrapResult
tcWrapResultO
tcSkolemise
tcSkolemiseET
tcSubTypeHR
tcSubTypeO
tcSubType_NC
tcSubTypeDS
tcSubTypeDS_NC_O
tcSubTypeET
checkConstraints
buildImplicationFor
unifyType
unifyTheta
unifyKind
noThing
uType
promoteTcType
swapOverTyVars
canSolveByUnification
tcInferInst
tcInferNoInst
matchExpectedListTy
matchExpectedPArrTy
matchExpectedTyConApp
matchExpectedAppTy
matchExpectedFunTys
matchActualFunTys
matchActualFunTysPart
matchExpectedFunKind
wrapFunResCoercion
occCheckExpand
metaTyVarUpdateOK
occCheckForErrors
data OccCheckResult a