haskell-ja > Archives > 2012/11/02

p.328 上18-19行の，
  do x <- eval t
     y <- eval u
は，
  do x <- evalEx t
     y <- evalEx u
の間違いですよね？（これも早とちりかも:-）

p.325 上3行
　St α = MkSt (State -> (α, State))
とありますが、「MkSt」はなぜ必要なのでしょうか？ 通常は
　St α = State -> (α, State))
としていると思うのですが。
立て続けですみません。