Автоматического Haskell получения декларации, поднимающая

Question

Есть ли способ, чтобы компилятор получить функциональные возможности, которые я хотел бы написать вручную:

instance Class c => Class (Trans c) where 
    foo1 = lift foo1 
    foo2 = lift foo2 
    ... 
    foo999 = lift foo999 
    bar1 = \a b c -> lift $ bar1 a b c 
    ... 
    baz1 = lift . baz1 
    ... 

т.е. когда тип класса Class в настоящее время завернутые в Trans, возможно получить бесплатный экземпляр Class для Trans автоматически без необходимости выполнять тяжелый подъем :)?

Answer 1

Если lift сам по себе является функцией класса типа, вы можете написать общее определение для всех экземпляров класса type. Что-то вроде:

instance (Class c, Trans t) => Class (t c)

Будьте осторожны, что это не пересекаться с любыми другими экземплярами, и это то, что вы хотите для всех этих типов.

Как более полный пример, этот код работает, хотя его результаты иногда удивляют.

{-# LANGUAGE FlexibleInstances #-} 

module Inst where 

import Control.Applicative (liftA2) 

instance (Applicative f, Num n) => Num (f n) where 
    (+) = liftA2 (+) 
    (*) = liftA2 (*) 
    abs = fmap abs 
    signum = fmap signum 
    fromInteger = pure . fromInteger 
    negate = fmap negate