With Laura:
Question by Haskell:
Why, when building a category where objects are data types and morphisms are functions, a closed symmetrical monoid category (like Hilb, where objects are end-dimensional Gilbert spaces with ordinary tensor work and morphisms are linear operators) is obtained from the variant of the typed lambda-calculation on the combinators, but not the decart category, which is Set?

Answer to:
It brought me into a deadlock and I started drinking.