@hackage monad-unify0.2.0.1

Generic first-order unification