aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/DataKinds/promoted-tuple.hs
{- ORACLE_TEST pass -}
{-# LANGUAGE DataKinds #-}
module PromotedTuple where
type T = '(Int, String){- ORACLE_TEST pass -}
{-# LANGUAGE DataKinds #-}
module PromotedTuple where
type T = '(Int, String)