Lause 1: Esimerkiksi seuraavat kaksi määritelmää ovat turvallisia ehkä-monadin arvojen vastaavan jakamisen osalta. Esimerkiksi molemmat seuraavat määritelmät ovat turvallisia. Kysymys: Ilmaisevatko lause 1 ja lause 2 samaa merkitystä? - Kyllä vai ei?
- Kyllä.