Unify

tcMatchTy

tcMatchTyKi

tcMatchTys

tcMatchTyKis

tcMatchTyX

tcMatchTysX

tcMatchTyKisX

ruleMatchTyKiX

Rough matching

roughMatchTcs

instanceCantMatch

typesCantMatch

tcUnifyTy

tcUnifyTyKi

tcUnifyTys

tcUnifyTyKis

tcUnifyTysFG

tcUnifyTyWithTFs

data BindFlag

type UnifyResult

data UnifyResultM a

liftCoMatch