и тогда kotlin не понадобился бы вообще. ну странно представить себе человека, который перейдёт на kotlin ради возможности писать a:Int, а не int a. Если в java воткнуть нормальный Type Inference, extensions, пофиксить все кривости монад в JDK... что ещё забыл?