あ、やっと・・・型推論が始まったんやな・・・