witherable-0.4.1: filterable traversable

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