追記
※追記します.
もとももともとは以下に示すサンプルプログラムを実行しようとしました.
data Natnum = Zero | S Natnum deriving (Eq, Show)
succ :: Natnum -> Natnum
succ x = S x
u_2_2 :: Natnum -> Natnum -> Natnum
u_2_2 x1 x2 = x2
add :: Natnum -> Natnum -> Natnum
add x Zero = x
add x (S y) = S (add x y)
multi :: Natnum -> Natnum -> Natnum
multi x Zero = Zero
multi x (S y) = add (multi x y) x
foo :: Natnum -> Natnum
foo x = (S . S) x
bar :: Natnum -> Natnum
bar x = multi x x
baz x y = add x y
data Natnum = Zero | S Natnum deriving (Eq, Show)
succ :: Natnum -> Natnum
succ x = S x
u_2_2 :: Natnum -> Natnum -> Natnum
u_2_2 x1 x2 = x2
add :: Natnum -> Natnum -> Natnum
add x Zero = x
add x (S y) = S (add x y)
multi :: Natnum -> Natnum -> Natnum
multi x Zero = Zero
multi x (S y) = add (multi x y) x
foo :: Natnum -> Natnum
foo x = (S . S) x
bar :: Natnum -> Natnum
bar x = multi x x
baz x y = add x y
daz x y = (foo . bar)(baz x y)
dee x y = (bar . foo)(u_2_2 x y)
daz x y = (foo . bar)(baz x y)このプログラムを
dee x y = (bar . foo)(u_2_2 x y)
dee 2 3
このプログラムを
dee 2 3
とと実行したのですが,前述の様なエラーが出ました.
このため,そもそもこのサンプルがおかしいのではと考えた次第です.