ghc-exactprint-0.5.0.0: tests/examples/ghc8/T9858d.hs

{-# LANGUAGE DataKinds #-}
module Main where

import Data.Typeable

data A = A

main = print $ typeRep (Proxy :: Proxy A) == typeRep (Proxy :: Proxy 'A)