外側にstruct Bar<F: Foo> を作るのが筋良さそう