Making impossible states impossible - ft Kotlin

I wrote a blog post in Typescript on leveraging Union types to remove impossible states. Since then I have moved into Kotlin development. Kotlin too has a great type system and a lot more language features to model data in creative ways. So here goes...