[Haskell-cafe] Type families in export lists

Maurí­cio briqueabraque at yahoo.com
Sat May 30 07:35:47 EDT 2009


How do I include type families (used as associated
types) in a module export list? E.g.:

class MyClass a where
     type T a :: *
     coolFunction :: Ta -> a

If I just include MyClass and its functions in the
list, instances in other modules complain they don't
know T, but I wasn't able to find how (where) to
include T in the list.


More information about the Haskell-Cafe mailing list