Use monad-unify 0.2.2 for improved performance