Toy program playing with types in OCaml