@gmazzap @cabbey > This would have no impact on people who do not want to type-check

This is the problem.