The easy monad