Sætning 1: For eksempel er følgende to definitioner sikre for en tilsvarende deling for værdier i måske-monade. Sætning 2: For eksempel er begge følgende definitioner for ækvivalent deling af værdier i Maybe-monaden sikre. Spørgsmål: Har sætning 1 og sætning 2 samme betydning? - Ja eller nej?
- Ja, det gør jeg.