indexed-traversable-instances