Деконструкция типа в определении класса (Haskell)

Question

Я не уверен, что заголовок достаточно описательный, но я не очень опытен в Haskell. Я хочу, чтобы сделать класс типов для конструкторов типа двупараметрического, что зависит от типа, по которому параметризованному конструктору, как

class MyTypeclass (ctor a b) where 
    funct :: (ctor a b) -> a 

(при условии, ctor :: * -> * -> *, a :: *, b :: *) и, предполагая, что у меня есть

data Pair a b = Pair a b 

быть в состоянии сделать что-то вроде

instance MyTypeclass (Pair a b) where 
    funct :: Pair a b -> a 
    funct (Pair x _) = x 

возможно без нескольких классов типов параметров (потому что он» s слишком мощный - я просто хочу, чтобы деконструировать тип, который мой typeclass параметризован)?

Answer 1

Да, вы можете использовать так называемые "конструктор класса", которые имеют более высокие kinded типов:

class C ctor where 
    funct :: ctor a b -> a 

instance C Pair where 
    funct (Pair x _) = x 

instance C (,) where 
    funct = fst  -- (a,b) -> a