sig
  type 'a m
  module Infix :
    sig
      val ( >>= ) :
        'a GapiMonad.MonadCombinators.m ->
        ('a -> 'b GapiMonad.MonadCombinators.m) ->
        'b GapiMonad.MonadCombinators.m
      val ( >> ) :
        'a GapiMonad.MonadCombinators.m ->
        'b GapiMonad.MonadCombinators.m -> 'b GapiMonad.MonadCombinators.m
    end
  val join :
    'a GapiMonad.MonadCombinators.m GapiMonad.MonadCombinators.m ->
    'a GapiMonad.MonadCombinators.m
  val liftM :
    ('a -> 'b) ->
    'a GapiMonad.MonadCombinators.m -> 'b GapiMonad.MonadCombinators.m
  val liftM2 :
    ('a -> 'b -> 'c GapiMonad.MonadCombinators.m) ->
    'a GapiMonad.MonadCombinators.m ->
    'b GapiMonad.MonadCombinators.m -> 'c GapiMonad.MonadCombinators.m
  val fmap :
    ('a -> 'b) ->
    'a GapiMonad.MonadCombinators.m -> 'b GapiMonad.MonadCombinators.m
  val sequence :
    'a GapiMonad.MonadCombinators.m list ->
    'a list GapiMonad.MonadCombinators.m
  val sequence_ :
    'a GapiMonad.MonadCombinators.m list -> unit GapiMonad.MonadCombinators.m
  val mapM :
    ('a -> 'b GapiMonad.MonadCombinators.m) ->
    'a list -> 'b list GapiMonad.MonadCombinators.m
  val mapM_ :
    ('a -> 'b GapiMonad.MonadCombinators.m) ->
    'a list -> unit GapiMonad.MonadCombinators.m
  val foldM :
    ('a -> 'b -> 'a GapiMonad.MonadCombinators.m) ->
    'a -> 'b list -> 'a GapiMonad.MonadCombinators.m
end