zipWithM

[robrix]

Control.Monad exports zipWithM, defined as:

zipWithM :: Applicative m => (a -> b -> m c) -> [a] -> [a] -> m [a]
zipWithM f as bs = sequenceA $ zipWith f as bs

No reason semialign couldn't generalize this to work with Zip, too. I'd be happy to submit a PR if that would be welcome.

Thanks all for a lovely suite of packages 💟

[phadej]

My first thought is that it would be better to provide type-classes for those (like Witherable <-> Filterable), to avoid the intermediate structure.
Second thought that we shouldn't forget about alignWith either.