Module Extended_monad

module Extended_monad: sig .. end

module List: Core.List

module type S = sig .. end

module Make: 
functor (M : Core.Monad.Basic) -> sig .. end

module type S2 = sig .. end

module Make2: 
functor (M : Core.Monad.Basic2) -> sig .. end