{-# LANGUAGE PatternSynonyms #-}

pattern Arrow ::
  Type ->
  Type ->
  Type

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

pattern
  TypeSignature,
  FunctionBody,
  PatternSignature,
  WarningPragma ::
    [RdrName] ->
    HsDecl GhcPs