{-# LANGUAGE PatternSynonyms #-}

module Main (pattern Foo, pattern (:>)) where

import Foo (pattern Foo, pattern (:>))