On Tue, Feb 23, 2010 at 02:08:12AM +0100, 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 ? No, this doesn't* exist. -Brent * yet!