>>588
> 継続のどこが純粋関数らしくないの？

継続の概念そのものは、純粋だよ

実際、Standard ML よ呼ばれる関数型言語では、
型安全で参照透明性がある継続が一部の処理系(SML/NJ)で
実装されている

> 継続ってなぜモナドにするの？

命令型言語における逐次/分岐/反復といった、
一般には「制御構造」と呼ばれる概念を
圏論の視点で構成したのがモナド
継続は制御構造の一種だから、Haskell では
継続をモナドとして扱っているだけ