aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/DataKinds/list-promoted-kind.hs
{- ORACLE_TEST pass -}
{-# LANGUAGE DataKinds #-}
module ListPromotedKind where
import Data.Proxy
fn :: Proxy (() ': '[])
fn = undefined
{- ORACLE_TEST pass -}
{-# LANGUAGE DataKinds #-}
module ListPromotedKind where
import Data.Proxy
fn :: Proxy (() ': '[])
fn = undefined