Worth emphasising that the type annotations are optional and usual unnecessary?