I agree that that defines the empty type, but OCaml disagrees. OCaml takes that as declaring an abstract type, just as if you'd included a module exposing an opaque type. So, the compiler won't conclude that 'empty' is actually an empty type (viewing it as an unknown abstract type), nor will it refute (int, empty) eq.

Stephen