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: