Parser combinator

Higher-order function that accepts several parsers as input and returns a new parser as output From Wikipedia, the free encyclopedia