One thing OCaml does have, however, that I often miss in other languages, is polymorphic variants. Sometimes you want a function to only work on a subset of a variant, without having to write silly handlers for things that the computer ought to be able to check never happen.
