ghc-exactprint-1.9.0.0: tests/examples/pre-ghc910/T11039.hs
{-# LANGUAGE PatternSynonyms #-}
module Foo () where
data A a = A a
pattern Q :: () => (A ~ f) => a -> f a
pattern Q a = A a
{-# LANGUAGE PatternSynonyms #-}
module Foo () where
data A a = A a
pattern Q :: () => (A ~ f) => a -> f a
pattern Q a = A a