O'Camlを理解するために、MLの本読むのも良いかもしれない。