val (>>=) : ( 'i, 'a ) t -> ( 'a -> ( 'i, 'b ) t ) -> ( 'i, 'b ) t
val (>|=) : ( 'i, 'a ) t -> ( 'a -> 'b ) -> ( 'i, 'b ) t
val (<*>) : ( 'i, 'a -> 'b ) t -> ( 'i, 'a ) t -> ( 'i, 'b ) t
type ('i, 'o) t_let = ( 'i, 'o ) t
val let+ : ( 'i, 'a ) t_let -> ( 'a -> 'b ) -> ( 'i, 'b ) t_let
val let* : ( 'i, 'a ) t_let -> ( 'a -> ( 'i, 'b ) t_let ) -> ( 'i, 'b ) t_let