idris-lang/Idris-dev — pull request #1200 by melted (2014-05-05 16:54:48+00:00)
Title: Future-proof the TC' monad

In GHC 7.10 Monad instances will need to implement Applicative
and MonadPlus instances Alternative.

Just reuse the corresponding functions on the Monad/MonadPlus instances.

Fixes #1181