O'Camlで型レの限界につきあたる

• 例えば、型リスト自体はO'Camlでもできる

• • しかし、それを操作するアルゴリズムを書こうとすると、限界に当たる
  • • 単純な追加や特定要素の取り出しはできる
    • 長さの取得やリストの反転はできない
    • 具体的には分岐と再帰が書けない