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

Version of mapMaybe with different argument ordering.
forM is mapM with its arguments flipped. For a version that ignores the results see forM_.
Better name for for.