Module Deriving_Functor

module Deriving_Functor: sig .. end

module type Functor = sig .. end
module MonadFunctor: 
functor (M : Deriving_monad.Monad-> Functor with type 'a f = 'a M.m
module Functor_option: Functor  with type 'a f = 'a option
module Functor_list: Functor  with type 'a f = 'a list
module Functor_map: 
functor (O : Map.OrderedType-> Functor with type 'a f = 'a Map.Make(O).t