blob: ad296967a7c08be700568dd02be7902f6de6ba2f (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
{-# LANGUAGE DataKinds #-}
module Main (main) where
import Data.Typeable
import GHC.Types
main :: IO ()
main = do
print (typeOf (Proxy :: Proxy 'Just))
print (typeOf (Proxy :: Proxy (TYPE ('BoxedRep 'Lifted))))
print (typeOf (Proxy :: Proxy (TYPE ('BoxedRep 'Unlifted))))
|
