そうですね、なんか今上手く行ってないですw

4:57 AM

あ、いや、大丈夫でした。

4:57 AM

ModSubgroupRelation は static method を一個持ってるだけで、インスタンスとして使われることのないものです。

4:58 AM

同値関係を型で与えて QuotientSet に埋め込むという。

4:59 AM

しかしこの書き方が分かりやすいかは怪しい気がしてきたので、ここはいくつかで実装を分ける方向で行こうかなと思います

アドバイスありがとうございました！