edwinb/Idris-dev — pull request #68 by raichoo (2012-10-31 21:33:40+00:00)
Title: lib enhancemnt

Morphisms moved to Data.Morphisms

- Applicative Instance for Morphisms
- Monad Instance for Morphisms
- (~>) infix constructor for Morphisms
- flatten for monads