Runtime Type Safety in Typescript by Valentin Kononov