>In general, I wouldn't explicitly advise against using single
>constructor type definitions for documentation, except when the
>argument is a single int or float and performance matters.
Is there a reason for this? To my innocent eyes, code like
type length = Length of int
looks quite reasonable and could be useful at times.
If binary compatibility with old OCaml releases would be the reason,
is there a policy stating when such ABI details can be changed?