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

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.