sig type 'a mappable val map : ('a -> 'b) -> 'a Extlib.Interfaces.Mappable.mappable -> 'b Extlib.Interfaces.Mappable.mappable end