Hi everybody, Typically, when you declare: type card = | Card of int | Jack | Queen | King | Ace ;; The relation you wish is: Card(2) < ...< Card(10) < Jack < Queen < King < Ace And that's what you get when using F#. However when using OCaml here is what you get: Jack < Queen < King < Ace < Card(2) < ...< Card(10) And the work-around is: type card = | Card of int | Jack of unit | Queen of unit | King of unit | Ace of unit ;; Is this a bug or a feature ? Will it change in a foreseable future ? - damien