It depends on what you’re interested in about programming. Do you like the research aspect of programming languages (inventing new language stuff) or are you in

It depends on what you’re interested in about programming. Do you like the research aspect of programming languages (inventing new language stuff) or are you into application programming (e.g. writing an app)? Category theory is the lowest level of functional programming. At this low level you can do some pretty ground-breaking stuff (like the Haskell z3cat[1] library which can apply a SAT solver to a regular Haskell function), but it’s not required, in any way, in order to write great Haskell code, and make use of Haskell as a tool to write applications with very few runtime exceptions. [1] https://github.com/jwiegley/z3cat https://github.com/jwiegley/z3cat