Unify
tcMatchTy
tcMatchTys
tcMatchTyX
ruleMatchTyX
tcMatchPreds
data MatchEnv
matchList
typesCantMatch
tcUnifyTy
tcUnifyTys
data BindFlag
niFixTvSubst
niSubstTvSet
data UnifyResultM a
type UnifyResult
tcUnifyTysFG