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

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

module GadtMaybe where

data Maybe a where
    Nothing :: Maybe a
    Just    :: a -> Maybe a