ghc-exactprint-0.5.1.0: tests/examples/ghc8/PromotedClass.hs

{-# LANGUAGE TypeInType, GADTs #-}

module PromotedClass where

import Data.Proxy

data X a where
  MkX :: Show a => a -> X a

foo :: Proxy ('MkX 'True)
foo = Proxy