testsuite/tests/typecheck/should_compile/T11056.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14

{-# LANGUAGE PolyKinds, DataKinds #-}
module T11056 where
import Data.Typeable

data T = A | B Int

bar :: TypeRep
bar = typeRep (Proxy :: Proxy '[True])

baz :: TypeRep
baz = typeRep (Proxy :: Proxy 'A)

quux :: TypeRep
quux = typeRep (Proxy :: Proxy 'B)