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

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

module ExistentialInfixConstructor where

data PairBox = forall a b. (Show a, Show b) => a :&: b

pairRender :: PairBox -> String
pairRender (x :&: y) = show x ++ show y