Some old monads work