I’m on a team with hundreds sharing the same code base is TS. Few things would make me happier than going back in time and picking a much stricter type system

I’m on a team with hundreds sharing the same code base is TS. Few things would make me happier than going back in time and picking a much stricter type system like Elm’s or rescript.