Entpacken gegenseitig rekursiver Typdefinitionen in OCaml