Использование комбинаторов парсера Text.Parser и Inf
Далее используется грамматика из файла contrib.Parser
test : Grammar t b a -> Grammar t b a
test p = do a <- p
pure a
К сожалению, это приводит к ошибке компилятора:
type mismatch between _ -> Grammar tok False _ and delayed Infinite b (a -> Grammar t c2 a)
Как я могу это исправить?