Variable: JsonValue

JsonValue: RecursiveType<
  UnionType<
    [
      Type<"String", string, string, StringError, string, StringError>,
      BrandType<
        Type<"Number", number, number, NumberError, number, NumberError>,
        "Finite",
        FiniteError,
        NumberError
      >,
      Type<"Boolean", boolean, boolean, BooleanError, boolean, BooleanError>,
      Type<"Null", null, null, NullError, null, NullError>,
      ArrayType<
        Type<
          "Recursive",
          JsonValue,
          JsonValueInput,
          JsonValueError,
          JsonValueInput,
          JsonValueError
        >
      >,
      RecordType<
        "String",
        string,
        string,
        StringError,
        string,
        StringError,
        Type<
          "Recursive",
          JsonValue,
          JsonValueInput,
          JsonValueError,
          JsonValueInput,
          JsonValueError
        >
      >,
    ]
  >
>;