Two mechanisms for dynamic type checks | Hacker News Reader