Boilerplate-free annotation of ASTs in Haskell?

Question

I\'ve been fiddling around with the Elm compiler, which is written in Haskell.

I\'d like to start implementing some optimizations for it, and part of this involves t

Answer 1

It is also possible to write a Template Haskell macros which converts a datatype into an annotated one.