IR

[mmirman]

At the moment, template Haskell is parsed into a form filled with unnecessary syntactic sugar. Why this is the case is beyond me, given that nobody reads the output of template Haskell, but sadly this is the case.

I anticipate the following transformations will be easiest:

Haskell ->
Haskell with no syntactic sugar ->
Lazy lambda calculus with external function calls ->
Strict Javascript abstract representation.