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