[Haskell-cafe] "datakind" declaration

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