Dreamora #1 Yes, as typesafeness which ensures that you don't assign "apples" to "bananas" while allowing you to assign both of them to "fruit" if you extended them from fruit.It enforces "thinking then typing"