Fraza 1: De exemplu, următoarele două definiții sunt sigure pentru o diviziune echivalentă pentru valorile în poate-monadă. Fraza 2: De exemplu, următoarele definiții pentru diviziunea sigură pentru valorile din monada poate sunt echivalente: Întrebare: Fraza 1 şi fraza 2 exprimă aceeaşi semnificaţie? Da sau nu?
Nu, nu.