ghc-exactprint-0.5.0.0: tests/examples/ghc8/poly-export2.hs

{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE FlexibleInstances #-}
module Foo (A(P,Q)) where

data A a = A a

pattern P :: () => Show a => a -> A a
pattern P a = A a

pattern Q :: () => (A ~ f) => a -> f a
pattern Q a = A a