More lambda-OCaml type conversions