Module Deriving_Functor

module Deriving_Functor: sig .. end

module type Functor = sig .. end
module MonadFunctor: 
functor (M : Deriving_monad.Monad-> Functor !fC[bC[f@
module Functor_option: Functor [bC[f@@C[]C[f@
module Functor_list: Functor a0Dgt1Dgv@@@!b6
module Functor_map: 
functor (O : Stdlib.Map.OrderedType-> Functor E@!aJDgAKDgC@@@@MDgA