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