idris-lang/Idris-dev — pull request #571 by folone (2013-10-31 14:03:35+00:00)
Title: RWST

I found, that there's a `Control.Monad.State` implementation, but there's no `Reader`, `Writer`, and `RWS`. So I've added them.