Data.Comp.Unification
type Equation f
type Equations f
data UnifError f v
failedOccursCheck
headSymbolMismatch
appSubstEq
unify
data UnifyState f v
type UnifyM f v m a
runUnifyM
withNextEq
putEqs
putBinding
runUnify
unifyStep