I think we should mention that type annotations are for illustration purposes only and can be omitted. In many cases they are not obvious.