Making something out of nothing (or, why None is better than NaN and NULL) (ocaml.janestreet.com)