learnyouahaskell.github.io
learnyouahaskell.github.io copied to clipboard
"Monoids" is outdated
In: Functors, Applicative Functors and Monoids it described Monoids as having a minimal definition of mempty and mappend. Nowadays one has to define the Semigroup first and then define just mempty to create a Monoid. So people should not manually define mappend anymore. Perhaps a section on Semigroups can be created out of the existing sectiom for Monoids?