Task: Text Matching
Input (English): For example , the following two definitions are safe for an equivalent division for values in maybe - monad .
For example , both following definitions for equivalent division for values in the Maybe monad are safe .
Output (English): Paraphrase