@hackage categorical-algebra0.0.0.1

This my attempt at synthesizing a few ideas about invertible programming with Arrow like type classes. Here is a link to pdf produced from the source https://takeittothelimit.files.wordpress.com/2012/03/semiring.pdf And here is a blog post that says basically the same thing. http://takeittothelimit.wordpress.com/2012/03/26/categorical-semirings-2/