型推論でこんなのいけるのかな?