I'm not even using Rust but I think you should stop hyping things that won't exist for years as if they were real and proven, like you've been doing a lot.

I've had a quick look at one of the proposals behind the link and it's no comparison with the existing Rust way. Even std::variant itself is a crutch (being templatized by a list of types), not comparible with true algebraic datatypes.