I think it's because of overexposure to category theory. It gets to the point where they see a name, the see a type signature, they assume the developer isn't

I think it's because of overexposure to category theory. It gets to the point where they see a name, the see a type signature, they assume the developer isn't pathological, and figure out what they need.