work on an Idris REPL