The type system of Kotlin? It's the same as Java + syntactic sugar for nullability. Don't pretend otherwise.