Re: [Haskell-cafe] "datakind" declaration