> useful for case where a set of given elements cannot exist, but you can cast to super type

Could you give a quick example of what you mean by that? Thanks!