I have read and understood enough Category Theory to realise that it is kinda fun/interesting if you enjoy abstract math. But it won’t make you a better softwar

I have read and understood enough Category Theory to realise that it is kinda fun/interesting if you enjoy abstract math. But it won’t make you a better software (or Haskell) developer. I would instead recommend learning Coq/Lean/Idris/Agda to move up the abstraction level from Haskell, while still learning things that are relevant to developing software.