03: Idris tutorial, links to slides, exercises
Code/IO/Dialogue2: catchIOError