でもその例としての P.make は、 Self = Never を返す関数として、クラッシュしたらいいから、成り立たせられる (edited)