[wtetzner]

I don't necessarily disagree with what you've said, my main point was that much of the value of ADTs in OCaml is in their restrictions.