>>801
Arrow が Categoryのサブクラスなので (.)とidを Categoryクラスで定義するのはしょうがないと思うが。
> ArrowクラスのarrがArrowChoiceと対称性を損なっていて
これはどういう意味？