Btw, I am not trying to nitpick. I am coming at this from a perspective of helping my students (and others learning Dart) be effective at writing Dart code by using a proper balance of type annotations. Both my students and I have been in situations where time wasted debugging some small programs could have been avoided by the use of more type annotations. I would like this code to be an illustration of the best/recommended practice in type annotation.