Не ужели тайпклассы такая сложная в понимании и использовании фича? Прочему идёт такое сопротиаление в разных комьюнити?
Потому что тайпклассы автоматически тянут за собой hkt, и всю алгебру типов, моноиды, монады, аппликативы, трансформеры и так далее и тому подобное