[Haskell-cafe] export DataKinds

Corentin Dupont corentin.dupont at gmail.com
Fri Feb 28 17:28:43 UTC 2014

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
I am obliged to put the pragma DataKinds in every package that uses
MyModule (a lot).
Is there a way to avoid that?

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

More information about the Haskell-Cafe mailing list