Per a suggestion by Jake Kirilenko, I'm looking at the combinator parser library called ostap. Instead of lazy evaluation it uses "explicit usage of closure." Hopefully it will help me better understand why the library I wrote doesn't work right.