(module Polymorphic_compare)