Narrow down unnecessarily imprecise type (#145)

Author: triallax

CHANGELOG.md

@@ -11,6 +11,7 @@ New features:
 Bugfixes:
 
 Other improvements:
+- Narrow down unnecessarily imprecise type of `mapWithIndexArray` (#145)
 
 ## [v5.0.1](https://github.com/purescript/purescript-foldable-traversable/releases/tag/v5.0.1) - 2021-04-20
 

src/Data/FunctorWithIndex.purs

@@ -35,7 +35,7 @@ import Data.Tuple (Tuple, curry)
 class Functor f <= FunctorWithIndex i f | f -> i where
   mapWithIndex :: forall a b. (i -> a -> b) -> f a -> f b
 
-foreign import mapWithIndexArray :: forall i a b. (i -> a -> b) -> Array a -> Array b
+foreign import mapWithIndexArray :: forall a b. (Int -> a -> b) -> Array a -> Array b
 
 instance functorWithIndexArray :: FunctorWithIndex Int Array where
   mapWithIndex = mapWithIndexArray