結局実際にコードに型が書いてなかったら人間から見たら同じじゃんってなる＞＜
（人間が型を推論しなきゃいけない状況が発生するのがすごくむかつく＞＜）