idris-lang/Idris-dev — pull request #1107 by ziman (2014-04-24 17:32:33+00:00)
Title: Add Data.Erased to libs/base

This patch adds the `Erased` monad.