何を言っているのかというと、クラスCに対して∀a ∈ Cが使えるかどうかということだ。
クラスに内包とかあるのか？