ghc-exactprint-1.9.0.0: tests/examples/pre-ghc910/T10997a.hs

{-# LANGUAGE GADTs, PatternSynonyms #-}

module T10997a where

data Exp ty where
  LitB :: Bool -> Exp Bool

pattern Tru :: () => b ~ Bool => Exp b
pattern Tru = LitB True