{
  "module": "Test",
  "kind": "Declaration Error",
  "text": [
    {
      "type": "text",
      "content": "The number of type parameters in the instance declaration must be the same as the number of type variables applied to the argument."
    }
  ],
  "span": {
    "filename": "test-programs/suites/008-typeclasses/006-unused-tyvar/Test.aum",
    "startp": { "line": 10, "column": 4 },
    "end": { "line": 15, "column": 8 }
  },
  "context": [
    [ 8, "    end;" ],
    [ 9, "" ],
    [ 10, "    generic [A: Free, B: Free]" ],
    [ 11, "    instance TC(Holder[A]) is" ],
    [ 12, "        method Accept(x: Holder[A]): Unit is" ],
    [ 13, "            return nil;" ],
    [ 14, "        end;" ],
    [ 15, "    end;" ],
    [ 16, "" ],
    [ 17, "    function main(): ExitCode is" ]
  ]
}