EarlyReturn monad