libraries/base/tests/T9111.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE DataKinds #-}

module T9111 where

import Data.Typeable

a = typeRep (Proxy :: Proxy 'True)
b = typeRep (Proxy :: Proxy Typeable)
c = typeRep (Proxy :: Proxy (~))
d = typeRep (Proxy :: Proxy 'Left)