https://github.com/giltayar/proposal-types-as-comments#shoul...
The idea is to avoid hampering competition, evolution, and innovation in the type-checking space.