Re: [Haskell-cafe] "datakind" declaration

On Tue, Feb 23, 2010 at 1:08 AM, Paul Brauner wrote:

Hello,

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 ?

Paul _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

This is similar to what you are thinking of: http://hackage.haskell.org/trac/ghc/wiki/KindSystem ...but it's not implemented (yet).