Typeclass, созданный при каждом значении типа данных

Question

Можно ли указать, что каждый член datakind удовлетворяет классу типов, так что подразумевается ограничение класса? Например.

data AB = A | B 
class Foo (a :: AB) where get :: proxy a -> String 
instance Foo A where get _ = "A" 
instance Foo B where get _ = "B" 

-- note lack of constraint here 
get' :: proxy (a :: AB) -> String 
get' = get 

В основном a является AB поэтому мы уверены, что есть экземпляр Foo для него. Я нахожу это маловероятным - где он собирается получить словарь Foo? - но я видел волшебство в свое время.

Answer 1

Нет, вы не можете этого сделать. Основная проблема заключается в том, что, как вы уже упоминаете, нет ничего, чтобы получить словарь. Но другая проблема заключается в том, что ваше утверждение о том, что каждый тип в AB является экземпляром Foo, неверно.

type family Broken :: AB where