Monoid -- parent feature for monoidsA monoid is an abstraction for a type with an associative operation andan identity element. Examples are (integers/infix +/0), (float/infix *,1),(string/concat/""), etc.
identity element
equality operation
associative operation
alternative names for infix operators