[
  {
    "relation": "~=",
    "lhs": {
      "role": "application",
      "lhs": {
        "role": "application",
        "lhs": {
          "role": "constant",
          "type": "[Integer] -> [Integer] -> Ordering",
          "symbol": "lengthCompare"
        },
        "rhs": {
          "role": "variable",
          "type": "[Integer]",
          "id": 7
        }
      },
      "rhs": {
        "role": "variable",
        "type": "[Integer]",
        "id": 7
      }
    },
    "rhs": {
      "role": "application",
      "lhs": {
        "role": "application",
        "lhs": {
          "role": "constant",
          "type": "[Integer] -> [Integer] -> Ordering",
          "symbol": "lengthCompare"
        },
        "rhs": {
          "role": "variable",
          "type": "[Integer]",
          "id": 6
        }
      },
      "rhs": {
        "role": "variable",
        "type": "[Integer]",
        "id": 6
      }
    }
  },
  {
    "relation": "~=",
    "lhs": {
      "role": "application",
      "lhs": {
        "role": "application",
        "lhs": {
          "role": "constant",
          "type": "[Integer] -> [Integer] -> Ordering",
          "symbol": "lengthCompare"
        },
        "rhs": {
          "role": "variable",
          "type": "[Integer]",
          "id": 8
        }
      },
      "rhs": {
        "role": "variable",
        "type": "[Integer]",
        "id": 8
      }
    },
    "rhs": {
      "role": "application",
      "lhs": {
        "role": "application",
        "lhs": {
          "role": "constant",
          "type": "[Integer] -> [Integer] -> Ordering",
          "symbol": "lengthCompare"
        },
        "rhs": {
          "role": "variable",
          "type": "[Integer]",
          "id": 6
        }
      },
      "rhs": {
        "role": "variable",
        "type": "[Integer]",
        "id": 6
      }
    }
  }
]