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

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

module GadtStrict where

data Term a where
    Lit    :: !Int -> Term Int
    If     :: Term Bool -> !(Term a) -> !(Term a) -> Term a
    Pair   :: Term a -> Term b -> Term (a, b)