idris-lang/Idris-dev — pull request #748 by david-christiansen (2013-12-21 21:31:18+00:00)
Title: Add more isomorphisms

Specifically:
* Congruence over products and sums
* Congruence over Maybe
* Demonstrate isos of Maybe using sum and unit isos