準備

• セルの表現に抽象型と型変数を使用します

• • 実際にはシグネチャ上で型の操作を表現できますしそれで充分ですので、consやcarやcdrのような値の操作は要らないのです
  • • しかしgenericなシグネチャを書くのは難しいです……
    • 具体的な式を書いてそこからgcamlc -iで(ry