aihc-parser-3.0.0.0: test/Test/Fixtures/oracle/DataKinds/promoted-tuple-constructor.hs
{- ORACLE_TEST pass -}
{-# LANGUAGE DataKinds #-}
module PromotedTupleConstructor where
type P = '(,) Int Bool
type T = '(,,)
{- ORACLE_TEST pass -}
{-# LANGUAGE DataKinds #-}
module PromotedTupleConstructor where
type P = '(,) Int Bool
type T = '(,,)