Instancia de clase de elevación en Haskell

Question

¿Hay alguna manera de "levantar" una instancia de clase en Haskell fácilmente?

he estado con frecuencia la necesidad de crear, por ejemplo, casos Num para algunas clases que son sólo la estructura Num "lifting" a través del constructor de tipos como este:

data SomeType a = SomeCons a 

instance (Num a)=>Num SomeCons a where 
    (SomeCons x) + (SomeCons y) = SomeCons (x+y) 
    negate (SomeCons x) = SomeCons (negate x) 
    -- similarly for other functions. 

¿Hay una manera de evitar esto repetitivo y "levantar" esta estructura Num automáticamente? Normalmente tengo que hacer esto con Show y otras clases también cuando estaba tratando de aprender existencials y el compilador no me dejaba usar deriving(Show).

Answer 1

El newtype generalizado es lo que queremos aquí:

{-# LANGUAGE GeneralizedNewtypeDeriving #-} 

module Main where 

newtype SomeType a = SomeCons a deriving (Num, Show, Eq) 

main = do 
    let a = SomeCons 2 
     b = SomeCons 3 
    print $ a + b 

Salida:

*Main> main 
SomeCons 5 

Answer 2

GHC implementa lo que desea: Extensions to the deriving mecanism. Estas modificaciones son a menudo muestran para una futura extensión del lenguaje estándar (como se ve en haskell' wiki)

Para habilitar esta extensión, se debe usar la siguiente pragma

{-# GeneralizedNewtypeDeriving #-} 

y luego usar una deriva en su declaración newtype, como extensión habitual derivada

data SomeType a = SomeCons a deriving (Num) 

Answer 3

GeneralizedNewtypeDeriving