aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/ExplicitForAll/forall-nested-arrow.hs
{- ORACLE_TEST pass -}
{-# LANGUAGE ExplicitForAll #-}
module ExplicitForAllNestedArrow where
apply :: (forall a. a -> a) -> Int
apply f = f 3{- ORACLE_TEST pass -}
{-# LANGUAGE ExplicitForAll #-}
module ExplicitForAllNestedArrow where
apply :: (forall a. a -> a) -> Int
apply f = f 3