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