{
  "type": "File",
  "start":0,"end":29,"loc":{"start":{"line":1,"column":0},"end":{"line":1,"column":29}},
  "program": {
    "type": "Program",
    "start":0,"end":29,"loc":{"start":{"line":1,"column":0},"end":{"line":1,"column":29}},
    "sourceType": "module",
    "interpreter": null,
    "body": [
      {
        "type": "TypeAlias",
        "start":0,"end":29,"loc":{"start":{"line":1,"column":0},"end":{"line":1,"column":29}},
        "id": {
          "type": "Identifier",
          "start":5,"end":10,"loc":{"start":{"line":1,"column":5},"end":{"line":1,"column":10},"identifierName":"Maybe"},
          "name": "Maybe"
        },
        "typeParameters": {
          "type": "TypeParameterDeclaration",
          "start":10,"end":13,"loc":{"start":{"line":1,"column":10},"end":{"line":1,"column":13}},
          "params": [
            {
              "type": "TypeParameter",
              "start":11,"end":12,"loc":{"start":{"line":1,"column":11},"end":{"line":1,"column":12}},
              "name": "T",
              "variance": null
            }
          ]
        },
        "right": {
          "type": "GenericTypeAnnotation",
          "start":16,"end":28,"loc":{"start":{"line":1,"column":16},"end":{"line":1,"column":28}},
          "typeParameters": {
            "type": "TypeParameterInstantiation",
            "start":22,"end":28,"loc":{"start":{"line":1,"column":22},"end":{"line":1,"column":28}},
            "params": [
              {
                "type": "GenericTypeAnnotation",
                "start":23,"end":24,"loc":{"start":{"line":1,"column":23},"end":{"line":1,"column":24}},
                "typeParameters": null,
                "id": {
                  "type": "Identifier",
                  "start":23,"end":24,"loc":{"start":{"line":1,"column":23},"end":{"line":1,"column":24},"identifierName":"T"},
                  "name": "T"
                }
              },
              {
                "type": "ExistsTypeAnnotation",
                "start":26,"end":27,"loc":{"start":{"line":1,"column":26},"end":{"line":1,"column":27}}
              }
            ]
          },
          "id": {
            "type": "Identifier",
            "start":16,"end":22,"loc":{"start":{"line":1,"column":16},"end":{"line":1,"column":22},"identifierName":"_Maybe"},
            "name": "_Maybe"
          }
        }
      }
    ],
    "directives": []
  }
}