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