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