Zpf: Swierstra & Duponcheel parsers with arrows
Zpf: instance Arrow DynamicParser
Some notes from Martin Escardo's lecture