Frase 1: Por exemplo, as seguintes dúas definicións son seguras para unha división equivalente para valores en talvez-monada. Frase 2: Por exemplo, ambas as seguintes definicións para a división segura para valores na Mónada son equivalentes: Pregunta: A frase 1 e a frase 2 expresan o mesmo significado? Si ou non?
- Non.