Ну то есть тебе надо условно в проде ну 5 монад от силы.
Резалт, опшн (в котлине не очень надо, так как нулаблы удобные), асинк (в котлине есть Deffered), коллекции и ... Даже пятая в голову не лезет.
Короче их можно и без хкт накопипастить, это просто удобство.
А вот тайпклассы позволяют делать вещи, ранее невозможные - реализовывать интерфейс для типа, который его не имел. В ООП есть паттерн адаптер, так вот это похоже, но гораздо лучше, так как инстанс тайпкласса можно шарить, импортить в скоуп, выкладывать в мавен!