でも、それだと、例えば型Aと型Bで演算した時に、型Bの方の値によって、型Aが返ってきたり、型Bが返ってきたり、型Cが返ってきたりする言語って型安全ではないになる・・・？＞＜(？)

オレンジ的には「そんなの型安全じゃないよ！＞＜」だけど、学問的にはそれも型安全であるってことになってるんじゃないの・・・？＞＜