Never making type errors does not mean never making errors