Fixed typo in sum and product (monoids) documentation.
A single initial type-level function.
Initial implementations for lists