> People just got fed up with the push toward pure FP and the complexity. Pure FP and category theory Amen. My eyes start to glaze over whenever I read about

> People just got fed up with the push toward pure FP and the complexity. Pure FP and category theory Amen. My eyes start to glaze over whenever I read about covariance. It's one thing if a feature works because of category theory, but if you just "feel like arrays should be covariant", and then the actual category theorists come along and can't work with its limitations, maybe give it a miss.