Haskell Typeclass za krotki

Question

Grałem około z typeclasses i uczynił to:

class Firstable f where 
    fst :: f a -> a 

class Secondable f where 
    snd :: f a -> a 

Następnie próbowałem dodać implementację (,) i zrozumiałem, że mogę zrobić:

instance Secondable ((,) a) where 
    snd (x,y) = y 

I jestem całkiem pewny, że to działa, ponieważ Secondable powinien mieć rodzaj (* -> *) gdzie ((,) a) ma ten typ, jednak nie wiem jak zastosować Firstable for ((,) * a) where * is zmienna związana, W mojej interpretacji próbuję wykonać równoważnik:

instance Firstable (flip (,) a) where ... 

Czy istnieje sposób, aby to zrobić w Haskell? Najlepiej bez rozszerzeń?

Dzięki!

Answer 1

Wersję o gorszych parametrowościach można uzyskać z MPTCS i Fundeps lub z TypeFamilies.

type family Fst p 
type instance Fst (a,b) = a 
type instance Fst (a,b,c) = a 

...

class First p where 
    fst :: p -> Fst p 

instance Fst (a,b) where 
    fst (a,_) = a 

instance Fst (a,b,c) where 
    fst (a,_,_) = a 

...

ale ostatecznie trzeba będzie korzystać z niektórych rozszerzeń.

Answer 2

class Firstable f where 
    fst :: f a b -> a 

class Secondable f where 
    snd :: f a b -> b 

Answer 3

Można użyć typu rodziny (tak jak inne podejście do tego, co napisał Edward):

{-# LANGUAGE TypeFamilies #-} 

class Firstable a where 
    type First a :: * 
    fst :: a -> First a 

class Secondable a where 
    type Second a :: * 
    snd :: a -> Second a 

instance Firstable (a,b) where 
    type First (a, b) = a 
    fst (x, _) = x 

instance Secondable (a,b) where 
    type Second (a, b) = b 
    snd (_, y) = y