Module Deriving_Functor

module Deriving_Functor: sig .. end

module type Functor = sig .. end

module MonadFunctor: 
functor (M : Deriving_monad.Monad) -> Functor   !f°ÀC[bÀC[f@  À�

module Functor_option: Functor [bÀC[f@@°ÀC[]ÀC[f@  �

module Functor_list: Functor a°À0DgtÀ1Dgv@@@À�!b°À6

module Functor_map: 
functor (O : Stdlib.Map.OrderedType) -> Functor E@ À�!a°ÀJDgAÀKDgC@@@@°ÀMDgA