(* See manual or http://impredicative.com/wiki/index.php/Polymorphic_Variants_Usage_Example *) Or do you think this kind of documentation will break thus causing more trouble than value? Marc Weber