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