FrobenioidとAnabelioidは、結構強い意味で「絶対」な遠アーベル幾何をやるための
スマートな構成になっているので
この辺は文句のつけようがないと思うよ。後は遠アーベルが何処まで不可欠か、だな