It&#39;s not quite what you&#39;re asking for, but a very similar idea is the SHE preprocessor: <a href="http://personal.cis.strath.ac.uk/~conor/pub/she/">http://personal.cis.strath.ac.uk/~conor/pub/she/</a><div><br></div>
<div>Dan<br><br><div class="gmail_quote">On Mon, Feb 22, 2010 at 8:08 PM, Paul Brauner <span dir="ltr">&lt;<a href="mailto:paul.brauner@loria.fr">paul.brauner@loria.fr</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
Hello,<br>
<br>
I remember seeing something like<br>
<br>
&gt; typedata T = A | B<br>
<br>
somewhere, where A and B are type constructors, but I can&#39;t find it in<br>
the ghc doc. Have I been dreaming or is it some hidden feature ?<br>
<br>
Paul<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</blockquote></div><br></div>