It would be helpful to show some clarification on what the benefits are compared to TypeScript