sig
val
( >>= ) :
(
'
a,
'
b)
Cf_smonad
.t
->
(
'
b
->
(
'
a,
'
c)
Cf_smonad
.t)
->
(
'
a,
'
c)
Cf_smonad
.t
end