Thank you for your beautifully clarifying thread.
One question here, what do you mean by “interesting”? It’s neither in the paper nor RFC nor anywhere else.
(Crossposting with Understand if-how Parsec solves this problem, please explain/describe Parsec .)