An OCaml implementation of a Myers stack