Documentation for the algebra folder
It would be good if we have a file Algebra.md
that:
- Describes which algebraic structures can be found where
- What instances of these structures are available
- Describes things like
-n>
v.s.-c>
- How type classes and canonical structures are used.