extension Never: P {} extension P where Self == Never {} のほうが安全だということに気づいた