Frase 1: Ad esempio, le due definizioni seguenti sono sicure per una divisione equivalente per i valori in forse-monade. Frase 2: Ad esempio, entrambe le seguenti definizioni per la divisione sicura per i valori della monade Maybe sono equivalenti: Domanda: La frase 1 e la frase 2 esprimono lo stesso significato? - Sì o no?
No, no, no.