[Haskell-cafe] "datakind" declaration
haskell at benmachine.co.uk
Thu Feb 25 15:10:53 EST 2010
On Tue, Feb 23, 2010 at 1:08 AM, 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
This is similar to what you are thinking of:
...but it's not implemented (yet).
More information about the Haskell-Cafe