[Haskell-cafe] Type families in export lists

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


Hi,

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.

Thanks,
Maurício



More information about the Haskell-Cafe mailing list