Demo from lecture "TypeScript: What to do with types in JavaScript"