sig
val
( >>= ) :
'
a t
->
(
'
a
->
'
b t)
->
'
b t
val
( >>| ) :
'
a t
->
(
'
a
->
'
b)
->
'
b t
end