Hello.<br><br>I&#39;d like to have a template haskell function that take some constraints and a class name and write an empty class from those and relative empty instance to simulate typeclass synonyms.<br><br>As I&#39;ve never written TH and couldn&#39;t find a easily adaptable code around, I ask here for the code, or some hints on how to arrive there.<br>
<br>Thanks <br><br>paolino<br>