[dependenttypes]

> But no sane person could call the Japanese people racist

I would disagree with that. You will see many sane people pointing out the racism against koreans, chinese, tourists, western residents, etc in Japan.