sig
  type 'a f
  val map :
    ('-> 'b) ->
    'Deriving_Functor.Functor.f -> 'Deriving_Functor.Functor.f
end