aka like mapWithIndex :: (ix -> a -> b) -> Array ix a -> Array ix b
mapWithIndex :: (ix -> a -> b) -> Array ix a -> Array ix b
cc @davean @treeowl @core-libraries