# derive-monoid
when your type can hold a list of itself, you can derive simple (but total/lawful) Semigroup/Monoid/IsList instances with TemplateHaskell. 

see [Derive.Monoid](https://hackage.haskell.org/package/derive-monoid/docs/Derive-Monoid.html) on hackage for examples and documentation.