On Tue, Feb 23, 2010 at 1:08 AM, Paul Brauner <paul.brau...@loria.fr> 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). _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
