monoid essay tweaks; minor haskell updates
fix typo `monoid` -> `Monoid`