module NoPatternSynonyms where

pattern P :: G Int