I know this isn't really the answer anyone's looking for, but I legitimately found some basic knowledge of category theory to be very useful with Haskell. Maybe

I know this isn't really the answer anyone's looking for, but I legitimately found some basic knowledge of category theory to be very useful with Haskell. Maybe it's a red herring -- I don't really know -- but when I was able to intuitively see the connection between a monad in Haskell and a monad in category theory it was almost like a switch went off in my brain and the abstraction was easier to work with and just less intimidating. The epiphany I had from this is that, while linear algebra's utility comes in the form of designing efficient algorithms, CT's utility (in Haskell) comes in the form of understanding structures. It's similar to thinking of modular arithmetic in terms of remainders vs. quotient groups. I get lost doing anything complex with the former way of thinking, but when I switch to thinking in terms of basic abstract algebra suddenly the foliage clears and the way ahead is clear.