purescript-0.7.2.0: examples/failing/Arrays.purs
-- @shouldFailWith ExprDoesNotHaveType module Main where import Prelude foreign import (!!) :: forall a. Array a -> Int -> a test = \arr -> arr !! (0 !! 0)
-- @shouldFailWith ExprDoesNotHaveType module Main where import Prelude foreign import (!!) :: forall a. Array a -> Int -> a test = \arr -> arr !! (0 !! 0)