I think it's because it's a concept that constrains how multiple instances of a type interact, and we're used to thinking of types as putting restrictions on si

I think it's because it's a concept that constrains how multiple instances of a type interact, and we're used to thinking of types as putting restrictions on single instances.