2 ms·
I'd modify the monoid line to include associativity and identity: A monoid is a a type with an associative function and an identity function
by leshow 10y ago
I'd modify the monoid line to include associativity and identity:
A monoid is a a type with an associative function and an identity function