{
  "module": "Test",
  "kind": "Type Error",
  "text": [
    { "type": "text", "content": "Cannot define an instance with argument " },
    { "type": "type", "content": "Foo" },
    { "type": "text", "content": " because it should belong to the " },
    { "type": "code", "content": "Free" },
    { "type": "text", "content": " universe, but it is actually in the " },
    { "type": "code", "content": "Linear" },
    { "type": "text", "content": " universe." }
  ],
  "span": {
    "filename": "test-programs/suites/008-typeclasses/004-expect-free/Test.aum",
    "startp": { "line": 7, "column": 8 },
    "end": { "line": 14, "column": 8 }
  },
  "context": [
    [ 5, "" ],
    [ 6, "    record Foo: Linear is" ],
    [ 7, "    end;" ],
    [ 8, "" ],
    [ 9, "    instance AcceptsFree(Foo) is" ],
    [ 10, "        method Accept(x: Foo): Unit is" ],
    [ 11, "            let {} := x;" ],
    [ 12, "            return nil;" ],
    [ 13, "        end;" ],
    [ 14, "    end;" ],
    [ 15, "" ],
    [ 16, "    function main(): ExitCode is" ]
  ]
}