fix 6.6 a about pfds

[matonix]

(a)
kinabaさん：一手でヤバイサンクを作って、もう一手で潰す

• |f| = |r|, |w|=1 の状態で snoc する
  • $(f@ rev r) ができる
• さらに、tail する
  • w = [] となり、force fが走る
  • $(f@ rev r) を全て評価する
  • これは非共有なので、永続的に使用するとO(1)を違反する

元の実装では、$(f@ rev r) を作る際に f を force するので、計算は共有されてしまう

(b)
mameさん: tail を使うと遅延計算が作られるので
tail しまっくて、遅延計算サンクを作ると…
コレを実装するには、rotateの時に実際にtailを何回やらなきゃいけないかカウンターをつける必要がある

[matonix]

今後のことを考えると現在のポテンシャル等をカウントしてプリティプリントする実装を作ったほうがいいかも
また、操作列を自動生成して再生できると良い