Type families: module export of instance data constructor

[Ben Horsfall]

I have a type family

class Lang term where
  data Token term :: *
  :

with

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.


Ben