{
  "module": "Test",
  "kind": "Generic Error",
  "text": [
    {
      "type": "text",
      "content": "Orphan rule broken: typeclass and type are both foreign."
    }
  ],
  "span": {
    "filename": "test-programs/suites/008-typeclasses/013-orphan-instance/Test.aum",
    "startp": { "line": 4, "column": 19 },
    "end": { "line": 9, "column": 8 }
  },
  "context": [
    [ 2, "import Test_Type (Foo);" ],
    [ 3, "" ],
    [ 4, "module body Test is" ],
    [ 5, "    instance Acceptable(Foo) is" ],
    [ 6, "        method Accept(value: Foo): Unit is" ],
    [ 7, "            return nil;" ],
    [ 8, "        end;" ],
    [ 9, "    end;" ],
    [ 10, "" ],
    [ 11, "    function main(): ExitCode is" ]
  ]
}