aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/DataKinds/promoted-cons-kind.hs
{- ORACLE_TEST pass -}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeOperators #-}
module PromotedConsKind where
type T = a ': b
{- ORACLE_TEST pass -}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeOperators #-}
module PromotedConsKind where
type T = a ': b