(Program
{-(Annotation
  {-(Annotation
    {-(Function
      {-(Identifier)-}
      {-(Identifier)-}
      {-(Identifier)-}
      {-(Identifier)-})-}
    {-(Empty)-})-}
  {-(Identifier)-})-}
  (Annotation
    (Annotation
      (Function
        (Identifier)
      { (Identifier)
      ->(Identifier) })
      (Empty))
    (Identifier))
  (Annotation
    (Annotation
      (Function
      { (Identifier)
      ->(Identifier) }
      { (Identifier)
      ->(Identifier) }
      {+(Identifier)+}
      { (Identifier)
      ->(Identifier) })
      (Empty))
    (Identifier))
{+(Annotation
  {+(Annotation
    {+(Function
      {+(Identifier)+}
      {+(Identifier)+}
      {+(Identifier)+})+}
    {+(Empty)+})+}
  {+(Identifier)+})+})