Control.Monad.Unify
type Unknown
class Partial t
class Unifiable m t
data Substitution t
data UnifyState t
defaultUnifyState
data UnifyT t m a
runUnify
substituteOne
(=:=)
occursCheck
fresh'
fresh