diagrams/monoid-extras — pull request #11 by bergey (2013-10-17 18:46:23+00:00)
Title: allow groupoids-4.*, semigroupoids-4.*

More changes needed to build diagrams against lens-3.10