Fiddle with iso removal
Use the more standard name itraversed
Use a single newtype wrapping an associated type synonym