We've got all these polymorphic type-checking methods, might as well use
'em everywhere it makes sense.