# type foo = [ `Foo of foo ];;
type foo = [ `Foo of foo ]
# module type BAR = sig type bar constraint bar = [ > foo ] end;;
The type constraints are not consistent.
Type bar is not compatible with type [> foo ]

Is there a good reason for prohibiting the above declarations? Could I achieve a 
similar effect with private row types?

Alex