1{-# LANGUAGE PatternSynonyms #-} 2 3module T11727 where 4 5pattern A,B :: Int 6pattern A = 5 7pattern B = 5 8 9