{-# 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))))
