OCaml version needs to be 4.x or later (GADTs)