It is now monads everywhere