上記だと、そもそも、射の合成に関数に「実装部」という余計な具象があるように思えます。

6:14 AM

もし、たとえば、対象をプログラムが取り得る値の集まりとして、射と合成を別に定義するなら、話は異なります。