purescript-0.5.4.1: examples/failing/SkolemEscape.purs

module Main where

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

  test = \x -> foo x