I'm divided. I'm very close to the point that I think that Voldemort types are a major mistake (due primarily to issues with their `init` property). So, I would tend to favor having the explicit type. However, we can opt-out of Voldemort later, whereas we can't really opt into it later, because that would break code.