blob: 16ca6408153d386a95dcb17aa3ac9fc0f408ae6c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# LANGUAGE Haskell2010 #-}
{-# 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))))
|
