A stronger variant of traverse which can remove elements and generalised
mapMaybe, catMaybes, filter.