missing cases in pattern matching of polymorphic variants (required
for older versions of OCaml)