blob: 6596a7a486a663bf522ad222eb55b745c1ceccda (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE PolyKinds #-}
{-# OPTIONS_GHC -Werror=typed-holes #-}
main :: IO ()
main = undefined
data Proxy k = Proxy
test1 = _ :: Proxy '( 'True, 'False )
test2 = _ :: Proxy '( '( 'True, 'False ), 'False )
test3 = _ :: Proxy '( '[ 1 ], 'False )
|