Template Haskell system for translating formal grammars into real Haskell code based on ADPfusion.

If you want automatic algebra products, ADPfusion provides these. makeAlgebraProductH ['h] ''SigName where SigName is the auto-generted signature name, will generate the algebra product.

When will build the grammar, the types and variables are newNames while attribute functions names are deterministic and potentially non-unique.