Parcomb.idr: turns out that 'many' works in REPL too, but only with 'parse'