path: root/testsuite/tests/ghci/scripts/T15898.script

:set -XDataKinds
import Data.Proxy
undefined :: '()
undefined :: Proxy '() Int
undefined :: [(), ()]
undefined :: '( '[], '[] )