K/Simple in OCaml