型クラスAddのaが変数みたいなもので、インスタンス宣言でIntegerという値が入る。yさっきのとちょっと変えた。Addのインスタンスに2つの型を渡している。型クラスのplusメンバをどういうふうに書けばいい?plus関数の型が書けない。families)まず、型クラスをみてみよう。plusのSumTyの型ってどういう意味・・・?こういう書き方のほうがわかりやすいでしょう。plusの戻り値の型がX。インスタンス宣言ではXの値はDouble。