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

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

module ExistentialRecordContext where

data Packed = forall a. Eq a => Packed {leftValue :: a, rightValue :: a}

same :: Packed -> Bool
same (Packed x y) = x == y