Deconstruction loại trong định nghĩa typeclass (Haskell)

Question

Tôi không chắc chắn nếu tiêu đề là mô tả đủ nhưng tôi không phải là rất có kinh nghiệm trong Haskell. Tôi muốn thực hiện một typeclass cho nhà xây dựng kiểu hai tham số mà phụ thuộc vào các loại mà các nhà xây dựng được parametrized, như

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

(giả sử ctor :: * -> * -> *, a :: *, b :: *) và, giả sử tôi có một

data Pair a b = Pair a b 

có thể làm một cái gì đó giống như

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

là nó có thể không có nhiều lớp kiểu tham số (vì nó' s quá mạnh mẽ - Tôi chỉ muốn deconstruct loại typeclass của tôi là parametrized bởi)?

Answer 1

Có, bạn có thể sử dụng cái gọi là "lớp học xây dựng" mà phải mất loại kinded cao:

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