多分、「existentialにequatableを生やしたい」と同じタイプの業