this shows that the type may not be what you expect, but it won't raise a TypeError.

We were looking for something that would raise a TypeError -- like an operation between two incompatible types.

I"ll merge it anyway -- you've moved on!