準備

• 今Obj.magicとか不穏なものが見えた

• • 値が必要な所に無理やり0を返している
  • 実行するとアクセス違反で落ちる

• そもそも、型レベルプログラミングにおいて、処理が実行時に実行される必要は無い

• • G'Camlのgenericは値(val)なので関数呼び出しの形を取る必要がある
  • 書いたものは実行されてしまう
  • 実行時にも実行されるのでは型レベルプログラミングの意味が薄れる