idris-lang/Idris-dev — pull request #1695 by japesinator (2014-11-03 21:25:16+00:00)
Title: Added verified monads

This adds a typeclass of verified monads, which obey the monad laws in the same style as verified verified semigroups or monoids from Prelude.Algebra.