packages feed

aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/ExistentialQuantification/existential-infix-parenthesized-context.hs

{- ORACLE_TEST pass -}
{-# LANGUAGE ExistentialQuantification #-}

module ExistentialInfixParenthesizedContext where

data A = forall yk. ((BgpBGa whd1 UdHfta), (F)) => a `A` A

useA :: A -> String
useA _ = "ok"