Hi, Is it possible to have a function accept variable number of arguments, such that 'f' can be instantiated to different concrete types as
f :: Applicative a => (e1 -> f) -> a e1 -> A f f g a = pure g <*> a f :: Applicative a => (e1 -> e2 -> f) -> a e1 -> a e2 -> A f f g a b = pure g <*> a <*> b Thanks, Xiao-Yong -- J c/* __o/* X <\ * (__ Y */\ < _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe