>>801
(.)とidを別のクラスにするのはどうして？
射の結合(.)とその単位元(id)は切っても切れない関係のような気がするけど。