Would you use type comments in your projects? Would you like pull requests adding them, or fixing them? What if the typescript checker and another checker have

Would you use type comments in your projects? Would you like pull requests adding them, or fixing them? What if the typescript checker and another checker have different semantics and you have fans fighting between `number` and `u8`?