{-# LANGUAGE PatternSynonyms #-}

pattern Arrow :: Type -> Type -> Type

pattern Foo, Bar :: Type -> Type -> Type