purescript-0.7.2.0: examples/failing/Rank2Types.purs

-- @shouldFailWith ExprDoesNotHaveType
module Main where

import Prelude

foreign import test :: (forall a. a -> a) -> Number

test1 = test (\n -> n + 1)