RWHの258ページにparseWhileの定義が載っていますが、そこで(b:)と
再帰を繰り返して行った時の最後のidentity[]とはどう繋がるんでしょうか？

(b1:) <$> (b2:) <$> … <$> (identity []の結果(?)）みたいな感じになると思うのですが、
この演算てどう行われるのでしょうか。


隣の頁のparseWhileVerboseを見ると、ifのTRUE節に対応した方はidentity (b:bs)と出てるから、
これが何故出てくるか分かれば理解できそうな気もするのですが…。