You're right, this was a mistake on my part. I'll correct this in the post. I have used mypy further since the post was written and it is indeed quite helpful

You're right, this was a mistake on my part. I'll correct this in the post. I have used mypy further since the post was written and it is indeed quite helpful, particularly in --strict mode.