[gruffle]

> Passing the wrong type is considerably rarer than the wrong value so need not be considered.

Passing the wrong value doesn't just happen randomly. It happens because of errors in logic many of which can be caught with a strong static type system.

[ReflectedImage]

But most can not.

[gruffle]

K, I'll take your word for it.