Unifying Monoids and Monads with Polymorphic Kinds (jonmsterling.com)

With GHC's new polymorphic kinds, a monad really is just a monoid in the category of endofunctors.