A fast and user-friendly implementation of variant types (aka open unions, open sum types, coproducts)