More instances of type classes from indexed-traversable
