Type families: module export of instance data constructor

Ben Horsfall ben.horsfall at gmail.com
Sun Dec 14 20:17:55 EST 2008

I have a type family

class Lang term where
  data Token term :: *


instance Lang Term where
  newtype Token Term = T String

I can't work out how to export the type constructor T from the module,
unless I make no explict exports from the module at all.


More information about the Glasgow-haskell-users mailing list