Lause 1: Esimerkiksi seuraavat kaksi määritelmää ovat turvallisia ehkä-monadin arvojen vastaavan jakamisen osalta. Lause 2: Esimerkiksi seuraavat määritelmät ovat samanarvoisia arvojen turvallisesta jakamisesta Maybe-monadissa: Kysymys: Ilmaisevatko lause 1 ja lause 2 samaa merkitystä? - Kyllä vai ei?
- Ei, ei.