Module Monad.Check_S2_refines_S.Monad_infix


module Monad_infix: sig .. end

type ('a, 'b) monad = 'a X.monad