Comparable_intf.Map_and_set_binable