こういう集合体は個々の実装は絶対ないんだ