[Y_Y]

At the end they mention the yoctoparsec library which abstracts away the String to a free stream type.

    type Parser b t a = FreeT ((->) t) b a

I'd like to see someone make a rhyme out of that.

[isotropy]

A parser just means A function from streams To maybe a pair, One in which there Is the stream, and the thing that it means

[charlieflowers]

You should win a Grammy for that.