The issue is that code isn't clothing. It's the clothing factory. We aren't artisans sewing clothing. We're production engineers deciding on layouts for robots to make clothes most efficiently.

I see this type error of thinking all the time. Engineers don't make objects of type A, we make functions of type A -> B or higher order.