TypeScript-is: generate run-time type-checks | Heykuki News