{-# LANGUAGE PolyKinds #-}

module T5798 where

data Proxy t = ProxyC

test :: Proxy '[Int, Bool]
test = ProxyC

{-# LANGUAGE PolyKinds, DataKinds #-}

module T5798 where

data Proxy t = ProxyC

test :: Proxy '[Int, Bool]
test = ProxyC

Add DataKinds flag to test
Add DataKinds flag to test
