> Haskell and other functional language can easily be used without any knowledge of category theory whatsoever.
Yup! Haskell borrows heavily from category theory, and there's a lot of value in knowing the stuff, but people have also been productive in SQL for decades without any formal knowledge of relational algebra.