Here's a fun, related paper by Okasaki:

Even higher-order functions for parsing or Why would anyone ever want to use a sixth-order function? [1]

[1]: https://www.cambridge.org/core/services/aop-cambridge-core/c...