Ну приводите. Тогда можно предметно обсуждать где хуже дизайн, нежели абстрактно говорить - у вас все говно, у нас лучше ) притом сам котлин по выразительности конечно же не настолько гибкий. Там нет HKT, нет pattern matching, нет for-comprehension, нет dependent types и existensial types. В принципе система типов не такая сильная