Module higher::monoid

source ·

Traits

A Monoid consists of a Semigroup and an empty value (the Default trait) plus the following laws: