val (>>=) : 'a result -> ( 'a -> 'b result ) -> 'b result
val (>|=) : 'a result -> ( 'a -> 'b ) -> 'b result