型推論はコード見てて分かり難いからあんまり好きじゃないなー。
型見てどういう働きさせるか考えるし。