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
_______________________________________________
Glasgow-haskell-users mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

Reply via email to