[frutiger]

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