ErasedOpaqueEquatableもpublicだけどopenじゃないからユーザー継承もできないし。