Parcomb.idr: 'many' works fine when compiled, but not in the REPL