ограничение класса в определении любезных данных

Question

я не мог сделать следующую компиляцию:

class Typeable f => Foo f where 
    data Bar :: Typeable 

Другими словами, я хотел бы определить класс Foo, которые имеют соответствующий тип, который должен быть экземпляром Typeable.

Похоже, я могу определить то же самое с FunctionalDependencies:

class (Typeable b,Typeable f) => Foo f b | f -> b where 

Так как я могу сделать то же самое с TypeFamilies?

Answer 1

Я не проверял, но я считаю, что это должно работать:

class (Typeable f, Typeable (Bar f)) => Foo f where data Bar f :: *