Read it as having to care about strict types as opposed to compatible types. Sort of like array broadcasting or casting bools to other numeric types or applying a bitwise xor to 32-bit floats -- if two types are obviously compatible with the operation I'm trying to do to them it's often nice to allow the implicit cast.