Thanks.
Is it correct that a programmer in Haskell will explicitly encounter category theory and (untyped) lambda calculus.
In the same sense, will a programmer in Haskell explicitly encounter type theory and typed lambda calculus? or only language designer will?