Python standard library: typing