1{-# LANGUAGE PatternSynonyms #-} 2module Main (pattern Foo, pattern (:>)) where 3import Foo (pattern Foo, pattern (:>)) 4