Tons of docs
Initial release: Semigroups, Monoids and foldMap