An old tutorial for using `Effects` in Idris. - View it on GitHub