No, monad is a monoid in the category of endofunctors ©

Jokes aside, there are monads for function application, for software transactional memory, for prolog's backtracking, for call/cc, for quantum computations and for running BASIC programs. And many more

Can you stop saying “design patterns” please?