Funzione di composizione variabile?

Question

Sto provando a scrivere una funzione di composizione della funzione variadica. Che è fondamentalmente lo (.) tranne per il fatto che la funzione del secondo argomento è variadic. Ciò dovrebbe consentire espressioni come:

map even . zipWith (+) 

o semplicemente

map even . zipWith 

Attualmente quello che ho raggiunto lavori se aggiungo IncoherentInstances e richiede un'istanza non polimorfica per la prima funzione argomento.

{-# LANGUAGE FlexibleInstances, OverlappingInstances, MultiParamTypeClasses, 
FunctionalDependencies, UndecidableInstances, KindSignatures #-} 

class Comp a b c d | c -> d where 
    comp :: (a -> b) -> c -> d 

instance Comp a b (a :: *) (b :: *) where 
    comp f g = f g 

instance Comp c d b e => Comp c d (a -> b) (a -> e) where 
    comp f g = comp f . g 

Qualche idea? È possibile?

Answer 1

E 'possibile digitare-incidere in lavorare con funzioni polimorfiche:

{-# LANGUAGE FlexibleInstances, MultiParamTypeClasses, 
    IncoherentInstances, UndecidableInstances, 
    FunctionalDependencies, TypeFamilies, 
    NoMonomorphismRestriction #-} 


class Comp a b c | a b -> c where 
    (...) :: a -> b -> c 

instance (a ~ c, r ~ b) => Comp (a -> b) c r where 
    f ... g = f g 

instance (Comp (a -> b) d r1, r ~ (c -> r1)) => Comp (a -> b) (c -> d) r where 
    f ... g = \c -> f ... g c 

t1 = map even ... zipWith (+) 
t2 = map even ... zipWith 
t3 = (+1) ... foldr 

Ma dubito che si possa evitare di IncoherentInstances