Maybe you missed this part: > So of course you actually need to exercise the code also, which is where the hypothesis package comes in. These are tests you sh

Maybe you missed this part: > So of course you actually need to exercise the code also, which is where the hypothesis package comes in. These are tests you should be doing anyway. Type checking does not excuse poor test coverage.