Use monad-unify 0.2.0