Could you elaborate on what you believe you'd get for free in a static language compared to type-annotated and -checked Python? I'm curious as I'm in a similar situation, but not in a company, but as a researcher.