@kytta My understanding might be incorrect but as I understand it a well-typed TS program can *almost* be directly syntactically lowered to an equivalent JS program. "Almost" because I believe there's some extra sugar for some ergonomics things that do leverage the type information, but I don't know the specifics since I don't do TS progamming actively.