Type safety has been proven to increase programmer productivity long-term, allows code to be partially self documenting and prevents bugs. I don't think that we

Type safety has been proven to increase programmer productivity long-term, allows code to be partially self documenting and prevents bugs. I don't think that we need that discussion again. But in general I agree with you. If you adopt a tool, any tool, any framework you need also think about the learning curve and overhead you impose on the next developer and yourself. This is especially true if something goes wrong, you run into issues and you need to troubleshoot it.