[Haskell-cafe] "datakind" declaration

Paul Brauner paul.brauner at loria.fr
Mon Feb 22 20:08:12 EST 2010


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 ?


More information about the Haskell-Cafe mailing list