purescript-0.9.1: examples/failing/Arrays.purs

-- @shouldFailWith TypesDoNotUnify
module Main where

foreign import ix :: forall a. Array a -> Int -> a

test = \arr -> arr `ix` (0 `ix` 0)