(Module
  (Empty)
  (Statements
    (Function
    { (VariableIdentifier)
    ->(VariableIdentifier) }
      (Statements
        (App
          (VariableIdentifier)
          (VariableIdentifier))))
    (Function
    { (VariableIdentifier)
    ->(VariableIdentifier) }
      (Statements
        (App
          (App
            (VariableIdentifier)
            (VariableIdentifier))
          (VariableIdentifier))))
    (Function
    { (VariableIdentifier)
    ->(VariableIdentifier) }
      (Statements
        (App
          (App
            (App
              (VariableIdentifier)
              (VariableIdentifier))
            (VariableIdentifier))
          (VariableIdentifier))))
    (Function
    { (VariableIdentifier)
    ->(VariableIdentifier) }
      (Statements
        (App
          (ConstructorIdentifier)
          (VariableIdentifier))))
    (Function
    { (VariableIdentifier)
    ->(VariableIdentifier) }
      (Statements
        (App
          (ConstructorIdentifier)
          (VariableIdentifier))))
    (Function
    { (VariableIdentifier)
    ->(VariableIdentifier) }
      (Statements
        (App
          (App
            (App
              (ConstructorIdentifier)
              (VariableIdentifier))
            (VariableIdentifier))
          (VariableIdentifier))))
    (Function
    { (VariableIdentifier)
    ->(VariableIdentifier) }
      (Statements
        (UnitConstructor)))
    (Function
      (VariableIdentifier)
      (Statements
        (EnumFrom
        { (Integer)
        ->(Integer) })))
    (Function
      (VariableIdentifier)
      (Statements
        (EnumFromThen
        { (Integer)
        ->(Integer) }
        { (Integer)
        ->(Integer) })))
    (Function
      (VariableIdentifier)
      (Statements
        (EnumFromTo
        { (Integer)
        ->(Integer) }
        { (Integer)
        ->(Integer) })))
    (Function
      (VariableIdentifier)
      (Statements
        (EnumFromThenTo
        { (Integer)
        ->(Integer) }
        { (Integer)
        ->(Integer) }
        { (Integer)
        ->(Integer) })))
    (Function
    { (VariableIdentifier)
    ->(VariableIdentifier) }
      (Statements
        (ListComprehension
          (VariableIdentifier)
          (Generator
            (VariableIdentifier)
            (VariableIdentifier)))))
    (Function
    { (VariableIdentifier)
    ->(VariableIdentifier) }
      (Statements
        (ListComprehension
          (Tuple
            (VariableIdentifier)
            (VariableIdentifier))
          (Generator
            (VariableIdentifier)
            (VariableIdentifier))
          (Generator
            (VariableIdentifier)
            (VariableIdentifier)))))
    (Function
    { (VariableIdentifier)
    ->(VariableIdentifier) }
      (Statements
        (ListComprehension
          (VariableIdentifier)
          (Generator
            (VariableIdentifier)
            (Array
              (Array
                (Tuple
                { (Integer)
                ->(Integer) }
                { (Integer)
                ->(Integer) })
                (Tuple
                { (Integer)
                ->(Integer) }
                { (Integer)
                ->(Integer) }))
              (Array
                (Tuple
                { (Integer)
                ->(Integer) }
                { (Integer)
                ->(Integer) })
                (Tuple
                { (Integer)
                ->(Integer) }
                { (Integer)
                ->(Integer) }))))
          (Generator
            (TuplePattern
            { (Integer)
            ->(Integer) }
              (VariableIdentifier))
            (VariableIdentifier)))))
    (Function
    { (VariableIdentifier)
    ->(VariableIdentifier) }
      (Statements
        (ListComprehension
          (Tuple
            (VariableIdentifier)
            (VariableIdentifier))
          (Generator
            (VariableIdentifier)
            (Array
              (Integer)
              (Integer)
            {+(Integer)+}
            {+(Integer)+}))
          (Generator
            (VariableIdentifier)
            (EnumFromTo
              (Integer)
            { (Integer)
            ->(Integer) })))))
    (Function
    { (VariableIdentifier)
    ->(VariableIdentifier) }
      (Statements
        (ListComprehension
          (ListComprehension
            (Tuple
              (VariableIdentifier)
              (VariableIdentifier))
            (Generator
              (VariableIdentifier)
              (Array
              {-(Integer)-}
                (Integer)
              {+(Integer)+})))
          (Generator
            (VariableIdentifier)
            (EnumFrom
            { (Integer)
            ->(Integer) })))))
    (Function
    { (VariableIdentifier)
    ->(VariableIdentifier) }
      (Statements
        (App
          (App
            (VariableIdentifier)
          { (Integer)
          ->(Integer) })
          (ListComprehension
            (ListComprehension
              (Tuple
                (VariableIdentifier)
                (VariableIdentifier))
              (Generator
                (VariableIdentifier)
                (Array
                  (Integer)
                  (Integer))))
            (Generator
              (VariableIdentifier)
              (EnumFrom
                (Integer)))))))
    (Function
    { (VariableIdentifier)
    ->(VariableIdentifier) }
      (Statements
        (RightOperatorSection
          (ConstructorOperator
            (ConstructorSymbol))
          (VariableIdentifier))))
    (Function
    { (VariableIdentifier)
    ->(VariableIdentifier) }
      (Statements
        (RightOperatorSection
          (ConstructorOperator
            (ConstructorSymbol))
          (VariableIdentifier))))
  {+(Function
    {+(VariableIdentifier)+}
    {+(Statements
      {+(LeftOperatorSection
        {+(VariableIdentifier)+}
        {+(ConstructorOperator
          {+(ConstructorSymbol)+})+})+})+})+}
  {+(Function
    {+(VariableIdentifier)+}
    {+(Statements
      {+(LeftOperatorSection
        {+(VariableIdentifier)+}
        {+(ConstructorOperator
          {+(ConstructorSymbol)+})+})+})+})+}
  {-(Function
    {-(VariableIdentifier)-}
    {-(Statements
      {-(LeftOperatorSection
        {-(VariableIdentifier)-}
        {-(ConstructorOperator
          {-(ConstructorSymbol)-})-})-})-})-}
  {-(Function
    {-(VariableIdentifier)-}
    {-(Statements
      {-(LeftOperatorSection
        {-(VariableIdentifier)-}
        {-(ConstructorOperator
          {-(ConstructorSymbol)-})-})-})-})-}))