aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/GADTSyntax/gadt-context.hs

{- ORACLE_TEST pass -}
{-# LANGUAGE GADTSyntax #-}

module GadtContext where

data Set a where
  MkSet :: Eq a => [a] -> Set a

data NumInst a where
  MkNumInst :: Num a => NumInst a