Непонятное сообщение об ошибке с семействами типов

Я пытаюсь понять тип семьи без особого успеха. Вот'Это минимальный пример:

«семейство типов» против «семейства данных», вкратце?

Я не знаю, как выбрать между

Семейства закрытых типов и странные типы функций

 это очень, очень странно в моих глазах.

ел бы получить следующий пример для проверки типа: {-# LANGUAGE AllowAmbiguousTypes #-} {-# LANGUAGE RankNTypes #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeFamilies #-} module Foo where f :: Int -> (forall f. Functor f => Secret f) -> ...

Непонятное сообщение об ошибке с семействами типов

Я пытаюсь понять тип семьи без особого успеха. Вот минимальный пример: {-# LANGUAGE TypeFamilies #-} class Object obj where type Unit obj :: * unit :: Unit obj instance (Object obj, Object obj') => Object (obj, obj') where type Unit (obj, obj') ...

«семейство типов» против «семейства данных», вкратце?

Я не знаю, как выбирать междуdata family а такжеtype family, Вики-страница на TypeFamilies [http://www.haskell.org/haskellwiki/GHC/Type_families#Injectivity.2C_type_inference.2C_and_ambiguity] уходит во многие детали. Иногда это неофициально ...

Как наложить ограничения на связанные данные?

Типовые ограничения для всех экземпляров семейства типов

Полагаю, что я хочу, невозможно без Template Haskell, но я все равно спрошу. У меня есть интерфейс для таких типов, какData.Set а такжеData.IntSet: type family Elem s :: * class SetLike s where insert :: Elem s -> s -> s member :: Elem s -> s ...