vvaluemapAccumM :: (Monad m, Traversable t)=> a -> b -> m (a, c)-> a-> t b-> m (a, t c)SourcePeek#Monadic variant of mapAccumL.