Improved monads