{
  "type": "File",
  "start":0,"end":15,"loc":{"start":{"line":1,"column":0},"end":{"line":1,"column":15}},
  "program": {
    "type": "Program",
    "start":0,"end":15,"loc":{"start":{"line":1,"column":0},"end":{"line":1,"column":15}},
    "sourceType": "module",
    "interpreter": null,
    "body": [
      {
        "type": "TypeAlias",
        "start":0,"end":15,"loc":{"start":{"line":1,"column":0},"end":{"line":1,"column":15}},
        "id": {
          "type": "Identifier",
          "start":5,"end":6,"loc":{"start":{"line":1,"column":5},"end":{"line":1,"column":6},"identifierName":"X"},
          "name": "X"
        },
        "typeParameters": null,
        "right": {
          "type": "ObjectTypeAnnotation",
          "start":9,"end":15,"loc":{"start":{"line":1,"column":9},"end":{"line":1,"column":15}},
          "callProperties": [],
          "properties": [
            {
              "type": "ObjectTypeProperty",
              "start":10,"end":14,"loc":{"start":{"line":1,"column":10},"end":{"line":1,"column":14}},
              "key": {
                "type": "Identifier",
                "start":11,"end":12,"loc":{"start":{"line":1,"column":11},"end":{"line":1,"column":12},"identifierName":"p"},
                "name": "p"
              },
              "static": false,
              "proto": false,
              "kind": "init",
              "method": false,
              "value": {
                "type": "GenericTypeAnnotation",
                "start":13,"end":14,"loc":{"start":{"line":1,"column":13},"end":{"line":1,"column":14}},
                "typeParameters": null,
                "id": {
                  "type": "Identifier",
                  "start":13,"end":14,"loc":{"start":{"line":1,"column":13},"end":{"line":1,"column":14},"identifierName":"T"},
                  "name": "T"
                }
              },
              "variance": {
                "type": "Variance",
                "start":10,"end":11,"loc":{"start":{"line":1,"column":10},"end":{"line":1,"column":11}},
                "kind": "plus"
              },
              "optional": false
            }
          ],
          "indexers": [],
          "internalSlots": [],
          "exact": false,
          "inexact": false
        }
      }
    ],
    "directives": []
  }
}