I&#39;m working on getting annotated versions of all instances of a function of a typeclass, and was wondering what are the relation/differences between Template Haskell and the Rewrite Rules section. Of course this is specific to GHC.<div>
<br></div><div>Another question, in Racket, primitive function application is denoted #%app. And using macros I can re-export #%app to be a different function f, so a program:</div><div><br></div><div>(g a) is rewritten into (f g a)</div>
<div><br></div><div>is there a way to do the same thing using TH or Rewrite Rules?</div><div><br></div><div>Thanks</div><div><div><br></div>-- <br>Ismael<br><br>
</div>