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