# 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