Cheap monads.