> type apple = integer; orange = integer; > then any arbitrary arithmetic expression involving apples and oranges is perfectly legal Same

> type apple = integer; orange = integer; > then any arbitrary arithmetic expression involving apples and oranges is perfectly legal Same in Kotlin sadly. The whole point of giving a different names to a type is to make them incompatible.