Monads, An, return