Wow! Nice article! I'm thrilled to know more about Kotlin's type system.