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

>
> Take a look at PG'OCaml (http://merjis.com/developers/pgocaml) as it
> solves this problem already in a type-safe way.
>

Hi,

Thanks for the reply.  I have looked at PG'OCaml before, and
though I liked the concept, I was a bit put off by the lock-in
into Postgresql.

But regardless of this particular example, is there a general
solution to my problem, that of "de-unifying" type variants?

Cheers,
C.S.