aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/GADTs/gadts-basic.hs

{- ORACLE_TEST pass -}
{-# LANGUAGE GADTs #-}

module GADTsBasic where

data Term a where
  TInt :: Int -> Term Int
  TBool :: Bool -> Term Bool