Module Monad.Check_S2_refines_S.Monad_infix

module Monad_infix: sig .. end

type ('a, 'd) t = 'a X.t