[OCaml] 16章 情報の蓄積, 17章 再帰的データ構造