g◦f はコード上で複数宣言することはできますが、ロジックが等しいこと関数を equality とすると、合成射 g◦f は一意に定まると言えると思います。