どちらかというと型推論かな?
402さんは、どう思う?