"ocaml_beginners"::[] De-unifying variant types