type ('key, 'cmp, 'z) t
= (module Comparator.S with type comparator_witness = 'cmp and type t = 'key) ‑> 'z