Some writing on OCaml encodings.