Monoid, Functor, Pointed, Applicative, Monad • There are many others -- ApplicativePlus, MonadPlus, Comonad, Category, Arrow, ArrowPlus, Foldable, Traversable, Monad Transformers, Reader, Writer, State, Identity, and more • These are functional design patterns • Simpler than most OO design patterns