[Haskell-cafe] export DataKinds

Hi Cafe, I create kinds using the DataKinds extension: {-# LANGUAGE DataKinds #-} module MyModule where data Foo = Bar | Baz The problem is that the generated Bar and Baz type constructors are not exported! I am obliged to put the pragma DataKinds in every package that uses MyModule (a lot). Is there a way to avoid that? Thanks! Corentin