Haskell clase de tipos de tuplas

Question

Yo estaba jugando con clases de tipos e hizo esto:

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

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

Luego trató de añadir una implementación para (,) y se dio cuenta de que podía hacer:

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

I Estoy bastante seguro de que esto funciona porque Secondable debería tener kind (* -> *) donde ((,) a) tiene ese tipo, sin embargo, no sé cómo implementar Firstable para ((,) * a) donde * es la variable vinculada, en mi interpretación, estoy tratando de hacer el equivalente de:

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

¿Hay alguna manera de hacer esto en Haskell? Preferiblemente sin extensiones?

Gracias!

Answer 1

Se puede tener una versión con peores garantías de parametrización con MPTCS y Fundeps o con 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 

...

pero en última instancia, tendrá que utilizar algunas extensiones.

Answer 2

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

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

Answer 3

Puede usar familias de tipo como así (una opinión diferente sobre lo que escribió Eduardo):

{-# 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