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