Module Monad.Make.Monad_infix


module Monad_infix: sig .. end

type 'a monad = 'a M.t