[Haskell-cafe] Is it possible to nest this kind of "continuation" (a -> b -> r)

[PICCA Frederic-Emmanuel]

Hello, I have this 

nest ∷ [(a → r) → r] → ([a] → r) → r 
nest xs = runCont (Prelude.mapM	cont xs)

but now I need this

nest2 ∷ [(a → b → r) → r] → ([a] → [b] → r) → r 
nest2 xs = ...

and this

nest3 :: ...

Do you think that there is a generic way to write all these nestX methodes.

thanks for your help

Frédéric