@nomeata This was really pleasant to read! I especially liked that you gave some background "thoughts" for details like:
> I somewhat sillily used snoc rather than (:) to build my lists, just so that I can show off all the left-recursion in this grammar.
This could easily have tripped me up due to not being that good in Haskell (anymore?) and thinking that this had some deeper relevance for the point to be made. Incredibly well-written!
Add comment