I disagree with your last point, to some extent. While not strictly necessary, learning a bit of category theory makes FP abstractions such as functors and mon

I disagree with your last point, to some extent. While not strictly necessary, learning a bit of category theory makes FP abstractions such as functors and monoids a bit more accessible. I can't disagree with the fact that learning category for that sole purpose sounds like a lot of work for too little benefit, though.