Ocaml Type Safety Problem

Empty.