The beauty of Kotlin type system

The Kotlin type system is amazingly designed. Many features that look like special cases are just a natural consequence of how the type system is designed.