12/26 追記 断定で書くほど、よくわかってる話でもないので、タイトルに疑問符追加 Haskellで、自然数の集合に対応する型は、以下のように定義できるように思えます (ここでの自然数は、0を含んでいるとします)。 自然数(?)Natの定義 data Nat = O | S Nat …