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

{- ORACLE_TEST pass -}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE ImplicitParams #-}
module GADTsImplicitParams where

data T where
  MkT :: (?f :: Int) => T