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://

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/content/view/AAAA5C5E29889CEBC5E944CC1080FE8D/S0956796898003001a.pdf/even_higherorder_functions_for_parsing_or_why_would_anyone_ever_want_to_use_a_sixthorder_function.pdf https://www.cambridge.org/core/services/aop-cambridge-core/c...