[Haskell-cafe] export DataKinds

[Corentin Dupont]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140228/cbb741cc/attachment.html>