Demos of various OCaml functionalities