As long as the number of mixed types is finite, unions/variants give you the same ease of use with static guarantees.