JsonValue: recursive(
  (): UnionType<
    [
      typeof String,
      typeof FiniteNumber,
      typeof Boolean,
      typeof Null,
      ArrayType<
        Type<
          "Recursive",
          JsonValue,
          JsonValueInput,
          JsonValueError,
          JsonValueInput,
          JsonValueError
        >
      >,
      RecordType<
        "String",
        string,
        string,
        StringError,
        string,
        StringError,
        Type<
          "Recursive",
          JsonValue,
          JsonValueInput,
          JsonValueError,
          JsonValueInput,
          JsonValueError
        >
      >,
    ]
  > => union(String, FiniteNumber, Boolean, Null, JsonArray, JsonObject),
);