Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T5798.hs
1 {-# LANGUAGE PolyKinds, DataKinds #-}
2
3 module T5798 where
4
5 data Proxy t = ProxyC
6
7 test :: Proxy '[Int, Bool]
8 test = ProxyC