purescript-0.5.4.1: examples/failing/Rank2Types.purs

module Main where

  import Prelude

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

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