さて、じゃあ今度は plus と minus を同時に使ってみましょう。 毎度あんまり面白くない例ですが、x + x - x を計算する(つもりの)関数 id を、前回の plus を参考に書いていみます: let plus : $:(d : 'a -> 'a -> 'a) = d let minus : $:(d : 'a -> 'a -> …