module BatInterfaces: sig .. end
sig
end
module type Mappable = sig .. end
map : ('a -> 'b) -> ('a t -> 'b t)
module type OrderedType = sig .. end