I'm not sure what you mean by that. Haskell, the language, is theoretically built more on the lambda calculus and logic. Category Theory has served a fruitful

I'm not sure what you mean by that. Haskell, the language, is theoretically built more on the lambda calculus and logic. Category Theory has served a fruitful source of inspiration in the design of some languages (and in some places provides a common vocabulary).