Not at all. I am an experienced Haskell developer and have had zero usage for Category Theory in my work. I have read and understood Category Theory because it’

Not at all. I am an experienced Haskell developer and have had zero usage for Category Theory in my work. I have read and understood Category Theory because it’s fun to learn new abstract math. But I learned a lot more from learning Coq/Lean/Idris.