Haskell repa - отображение с индексами

Представьте, что я хочу сопоставить функцию с массивом, но функция имеет тип не только a -> b но a -> Int -> b т.е. функция также принимает индекс. Как мне это сделать?