3 ms·Unifying Monoids and Monads with Polymorphic Kinds1 points by jonsterling 15y agoWith GHC's new polymorphic kinds, a monad really is just a monoid in the category of endofunctors.