Unifying Monoids and Monads with Polymorphic Kindsjonmsterling.com1 point·jonsterling··0 commentsWith GHC's new polymorphic kinds, a monad really is just a monoid in the category of endofunctors.Open articleSaveView on HN