何故コイツは同値類による整数生成の文に触れないんだ?