09Idiom: Data.Foldable
09Idiom: Data.Traversable; reorder