Agda-2.3.2.2: test/fail/PatternSynonymParameterisedModule.err
PatternSynonymParameterisedModule.agda:8,3-36 Not supported: pattern synonym in parameterised module when scope checking the declaration pattern sss x = suc (suc (suc x))
PatternSynonymParameterisedModule.agda:8,3-36 Not supported: pattern synonym in parameterised module when scope checking the declaration pattern sss x = suc (suc (suc x))