path: root/testsuite/tests/polykinds/T5798.hs

{-# LANGUAGE PolyKinds, DataKinds #-}

module T5798 where

data Proxy t = ProxyC

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