/dev-haskell/indexed-traversable-instances/