demo intended to show the power of smart constructors and private aliases in OCaml - View it on GitHub