pythonのtype annotationはまあまあ便利だけどmypyがわりとしょぼいのがつらい