https://foxoyo.com/mcq/186221/a-monoid-is-always-a