変数の宣言時に推論が効くのは良さそうですが、暗黙変換はかなり渋いですね