un truc sympa ça serait de faire un

match (instanceof o) with
   mother -> o#m
| daughter -> o#m2
;;

malheuresement le typage n'étant pas propagé à l'execution, un opérateur instanceof ne peut pas exister en ocaml...

edit: code plus clair