inhabitedtype/ocaml-dispatch