No, but surprisingly frequently this property holds: if your function is generic enough, there is only one (or a small number) of possible implementations that

No, but surprisingly frequently this property holds: if your function is generic enough, there is only one (or a small number) of possible implementations that type check. Leveraging this rules out bugs.