type families, чтобы можно было, например, сделать так:
data Foo’ f = Foo
{ field :: f Int
, another :: f Bool
}
type Id a = a
type Foo = Foo’ Id -- ВОЛШЕБНОЕ ИСЧЕЗНОВЕНИЕ КЛЯТОГО ‘f’
Помогите найти
это HKD?
Обсуждают сегодня