Delegate monad implementation to value in run-maybe-t