diagrams/monoid-extras — pull request #2 by byorgey (2012-09-05 15:30:51+00:00)
Title: New Cut monoid construction

To be used in fixing https://github.com/diagrams/diagrams-lib/issues/37

Mostly I'm looking for confirmation that this makes sense and that the documentation explains it sufficiently well.