Function signature is

[a] -> (a -> IO b) -> (b -> IO c) -> ([b] -> IO d) -> IO d

and no, hoogle doesn't find anything for that (or for the simpler case taking [IO b]).