Argument: GenericSchema<
    | { GasCoin: true }
    | { Input: number; type?: "object" | "pure" }
    | { Result: number }
    | { NestedResult: [number, number] },

        | { $kind: "GasCoin"; GasCoin: true }
        | { $kind: "Input"; Input: number; type?: "pure" }
        | { $kind: "Input"; Input: number; type?: "object" }
        | { $kind: "Result"; Result: number }
        | { $kind: "NestedResult"; NestedResult: [number, number] },
> = ...