Why Kotlin's Better Types Matter a Lot