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