{
  "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": []
  }
}