Можете объяснить концепцию контравариантности в дженериках Kotlin и как она влияет на типовую безопасность?