aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/haskell2010/expressions/existential-forall.hs
{- ORACLE_TEST pass -}
module ExistentialForall where
toJSON ((f :: f a) :=> (g :: g a)) = ()
{- ORACLE_TEST pass -}
module ExistentialForall where
toJSON ((f :: f a) :=> (g :: g a)) = ()