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

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

module GadtRecord where

data Person where
    Adult :: { name :: String, children :: [Person] } -> Person
    Child :: Show a => { name :: !String, funny :: a } -> Person