[Haskell-cafe] "datakind" declaration
pumpkingod at gmail.com
Mon Feb 22 20:13:27 EST 2010
It's not quite what you're asking for, but a very similar idea is the SHE
On Mon, Feb 22, 2010 at 8:08 PM, Paul Brauner <paul.brauner at loria.fr> wrote:
> I remember seeing something like
> > typedata T = A | B
> somewhere, where A and B are type constructors, but I can't find it in
> the ghc doc. Have I been dreaming or is it some hidden feature ?
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe