It is desirable to use applicative-like syntax in parsers, but since we use pregenerated partial isomorphisms arguments cannot be permuted so easily. It would be nice to have TH funcion for generating arguments permutation such that mkPermutation :: String -> [Int] -> Q [Dec]
It is desirable to use applicative-like syntax in parsers, but since we use pregenerated partial isomorphisms arguments cannot be permuted so easily. It would be nice to have TH funcion for generating arguments permutation such that
mkPermutation :: String -> [Int] -> Q [Dec]