diagrams/monoid-extras — pull request #4 by Taneb (2013-08-14 20:34:15+00:00)
Title: Added .Endomorphism, added semigroupoids depenency.

Documentation isn't great, and I haven't bumped the version number.