I agree with you. It's the same with Category Theory. I have yet to see any practical usage of Category Theory in programming that was better than using basic a

I agree with you. It's the same with Category Theory. I have yet to see any practical usage of Category Theory in programming that was better than using basic algebraic reasoning and (simple) type theory.