>>125
とりあえず、
isSum ['a', 'b', 'c']
が
3になるのはよろしいでしょうか ?

mySum [] = 0
mySum (x:xs) = x + mySum xs
の場合(Num a) => aという制約が必要になります。

なぜなら、+の部分を型で書くと a + Intとなります。
aがNumのインスタンス?でなければならないので
Num a => aという制約が必要になります。

isNumの場合そのようなものはなく+の両辺の型は
1 (<= Numのインスタンス?) + Intであり、aに関する制約はまったく必要ないので
制約に関する記述は必要なくなります。


これでいいのかな?
添削して

インスタンスって表現でいいんだっけ ?