This is the point, you dont consider the instanceof approach, is just wrong. You already know your types in advance.