Module WithM (.ml)

module WithM: sig .. end

module type MonadError = sig .. end

module Identity: sig .. end

module LwtIO: sig .. end

module W: 
functor (M : MonadError) -> sig .. end

module WithI: W(Identity)

module WithLwtIO: W(LwtIO)

module WithRes: W(Res)