Module type Deriving_Functor.Functor

module type Functor = sig .. end

type 'a f 
val map : ('a -> 'b) -> 'a f -> 'b f