Typescript, corrected and carbon