<p>Never making type errors does not mean never making errors</p>