30 Monoid (Draft)

A Monoid has a multiplication and an identity element. Emphasis here is on the identity.
Last modified November 29, 2023: Advanced Haskell coding and worksheets. (e8e2e5b)