Trivial functor example from Real World OCaml.