でも、 Optional でサブタイピングになってると考えると、 Never も特別扱いもありかも？