aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/DataKinds/promoted-list.hs

{- ORACLE_TEST pass -}
{-# LANGUAGE DataKinds #-}
module PromotedList where

type T = '[Int, String]