Polymorphic vs. ordinary variants in ocaml | Hacker News Reader