Representation Invariants Ocaml Programming Chapter 6 Video 9