I completely agree. There are several times when I've been thoroughly annoyed that I couldn't easily store a voldemort type in a struct field without resorting to ugly tricks. However, in this case, the reason was to avoid breaking client code when we made the change to `Tuple`. When we make the change now, existing code will be source, and maybe even binary, compatible.