ghc-exactprint-0.5.3.1: tests/examples/ghc80/T9858d.hs

{-# LANGUAGE DataKinds #-}
module Main where

import Data.Typeable

data A = A

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