:: (a -> m (Maybe b)) -> [a] -> m [b] package:Agda

A monadic version of mapMaybe :: (a -> Maybe b) -> [a] -> [b].
The for version of mapMaybeM.