Unifying Monoids and Monads with Polymorphic Kinds (jonmsterling.com) 1 points by jonsterling 14y ago ↗ HN With GHC's new polymorphic kinds, a monad really is just a monoid in the category of endofunctors.
0 comments
[ 2.6 ms ] story [ 7.0 ms ] threadNo comments yet.