The Null annotations approach runs into problems quite fast, though. How about a list of values? How do you annotate that the values are not null? How about a list of lists?

Quickly you discover you need a type system. (I'm not familiar with Kotlin but I'm sure it's fine.)

The answer is that core.typed's type system is proper space-age tech, but it's also not exactly ready for production use.