A demonstration of the benefits of Typescript