В качестве эксперимента налабал парсер комбинаторы без структур (парсер возвращает всего лишь пару результат+остаток) и через исключения. Код получается короче и наглядней, но ожидаемо медленный.

Долго думаю и ищу (в инете тоже рылся) способ совсем упростить, чтобы без множественных возвратных значений, но пока безуспешно.