Haskellの超初心者です.
下記のようなプログラムを作成しました.
data Natnum = Zero | S Natnum deriving (Eq, Show)
c_1_1 :: Natnum -> Natnum
c_1_1 x1 = S Zero
その後,
c_1_1 Zero
と行えば
S Zero
と出ることは確認できます.
しかし,
c_1_1 3
とすると,
:46:7: error:
• No instance for (Num Natnum) arising from the literal ‘3’
• In the first argument of ‘c_1_1’, namely ‘3’
In the expression: c_1_1 3
In an equation for ‘it’: it = c_1_1 3
というエラーが発生します.
Sは後者関数Zeroの後者関数を得られるものと思っているのですが,理解が間違っているのでしょうか.
私なりに理解しようとしたのですが,これはリテラル3がNatnumに無い,ということを言っていると考え,
冒頭のプログラムを
data Natnum = Zero | Int | S Natnum deriving (Eq, Show)
としてみましたが,結果は同じでした.
リテラルを扱うときには何か特別なことをする必要があるのでしょうか.
どうぞよろしくお願いいたします.