purescript-0.7.0.0: examples/failing/SkolemEscape.purs

module Main where

import Prelude

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

test = \x -> foo x