Unify
tcMatchTy
tcMatchTys
tcMatchTyX
ruleMatchTyX
tcMatchPreds
data MatchEnv
matchList
typesCantMatch
tcUnifyTys
data BindFlag
niFixTvSubst
niSubstTvSet