Use monad-unify package