型推論をC#なみにして欲しい