[Joker_vD]

Variant records have existed long before (Algol 68 had them!) that that one crab-related language was a thing.

[frutiger]

And sum types from ML circa 1972 (over fifty years ago). Indeed rust is basically an ML with affine types.