>>146
つまり、>>121のisPalindromeは相等性を持つ型（値が明確）と認識されなかったからダメだった。
だから、その式ではa==aがInt == Int、Bool == Bool、String==String　なのか解らないが為に()=>の制約が必要？
制約って関数の型をもっと強めることも出きるような物って感じがします。