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

_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to