Module Monad.Make2.Monad_infix


module Monad_infix: sig .. end

type ('a, 'b) monad = ('a, 'b) M.t