{
  "module": "Test",
  "kind": "Type Error",
  "text": [
    { "type": "text", "content": "Type constraint not satisfied: the type " },
    { "type": "type", "content": "Int32" },
    { "type": "text", "content": " does not implement the typeclass " },
    { "type": "code", "content": "Foo" },
    { "type": "text", "content": "." },
    { "type": "break" },
    {
      "type": "text",
      "content": "This constraint is for the type variable "
    },
    { "type": "code", "content": "T" },
    { "type": "text", "content": "." }
  ],
  "span": {
    "filename": "test-programs/suites/008-typeclasses/020-unsatisfied-constraint/Test.aum",
    "startp": { "line": 12, "column": 8 },
    "end": { "line": 12, "column": 20 }
  },
  "context": [
    [ 10, "" ],
    [ 11, "    function main(): ExitCode is" ],
    [ 12, "        fooable(10);" ],
    [ 13, "        return ExitSuccess();" ],
    [ 14, "    end;" ]
  ]
}