Comparable_intf
.
Map_and_set_binable