> Nowhere is the categorical view more visible than in Haskell and the author's point when he writes In ... Haskell ... types ... are built in, rather than bei

> Nowhere is the categorical view more visible than in Haskell and the author's point when he writes In ... Haskell ... types ... are built in, rather than being defined by universal constructions [+] is indeed that current programming languages don't entirely capture what category theory is about in practice. [+] https://en.wikipedia.org/wiki/Universal_property https://en.wikipedia.org/wiki/Universal_property