It turns out that strong typing does not eliminate the need for careful testing. And I have found in my work that the sorts of errors that strong type checking finds are no the errors I worry about.
The most transgressive, the most taboo, the darkest act that could happen is a parent killing their own child.