Self-Referential Generics in Kotlin: When Type Safety Requires Talking to Yourself

Kotlin's type system is expressive enough to let you write code that is simultaneously statically typed, runtime validated, and ergonomic at the call site. That combination usually requires some machi