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 C[f@@C[]C[f@Р
module Functor_list: Functor /Dgt0Dgv@@@!b5Dg
module Functor_map: 
functor (O : Stdlib.Map.OrderedType-> Functor !aIDgAJDgC@@@@LDgA