flatMap reduceで死にがちな型推論も多少はマシになるかなぁ