>>544 >>545 >>547
ありがとうございます。
個人的に納得がいかないのが
（それが型と関係あるのかは別としても）
変数の型と、関数の値域の違いです。
両者は関係ありそうななさそうな・・・
んー、難しいです。

こういった疑問は函数型言語を勉強すると
解消するものなんでしょうか？
お勧めの書籍をいっぱい教えてもらったので
それ読んでからまたきます。