/haskell/haskell-indexed-traversable/