Better testing of `TypeUtils`.