ensure
MonadlessFuture
MonadlessOption
MonadlessTry