Development version of effects library for Idris - View it on GitHub