Embracing (and also Destroying) Variant Types Safely - Andrei Alexandrescu - CppCon 2021