https://hackage.haskell.org/package/indexed-traversable-instances
