Control.Monad.Cont.MiscYj
mapContM :: (a -> (b -> m c) -> m c) -> [a] -> ([b] -> m c) -> m c Source #