1 article in this area.
Sealed hierarchies make invalid states unrepresentable: encoding aggregate invariants in Kotlin's type system.