Typescript of the Second Origin