OCaml
welltypedwitch