Reusing Haskell's binding when defining context free grammars

[nomeata]

I wrote a blog post about the variant that relies on sharing:

https://www.joachim-breitner.de/blog/807-Left_recursive_parser_combinators_via_sharing