{-# LANGUAGE PatternSynonyms #-} module TPatternSynonym where pattern Foo = 1