Too bad that this isn't type checking in the traditional sense though. That's just runtime tag checking.