Option Monoid
If you have a semigroup, the Option
monoid will give your data structure a monoid instance for free.
Documentation Help
We’d love your help fleshing out this documentation! You can edit this page in your browser by clicking this link. These links might be helpful: