I actually think Rich made a similar comment the last time this came up :)

Arguably checking types is central to implementing polymorphism. Seem to be plenty of valid uses (tools, custom dispatch logic etc.)

Yeah, I don't think there's any good reason to make it slow