To take this even further, look at OCaml's strong, inferred typing.