ghc-exactprint-1.9.0.0: tests/examples/pre-ghc910/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