module PatternSynonymNoParse where pattern f x = a b