Hi!

I use an abstract type and a one-way typecast operator to implement
existential quantification; e. g.

type 'a t
type unknown_t
let some (v : 'a t) = ((Obj.magic v) : unknown_t t)

Good?

Best Regards,
Lukasz