idris-lang/Idris-dev — pull request #1788 by Heather (2014-12-14 20:00:37+00:00)
Title: make System public in System and Exception effects

Just suggestion, for me it's logical. But maybe I'm wrong here.

Also in my opinion `IOExcept` should be public also there. Let me know if not and why not.