なんでもかんでもfirst class object、というか、「あれがxxxできるのに、これがxxxできないのはダサい」というのは、直交とは違う。 相互依存性が排除されたとき、直交と呼べる。 あるオブジェクト（クラス）の集まりが群（環でも体でもいいが）を成すこと…