الجملة 1: على سبيل المثال ، التعريفين التانيين أكيدين للقسمة المتساوية للقيم في ربما - الموناد. الجملة 2: مثلاً، كل التعريفات التالتين للقسمة الآمنة للقيم في موناد Maybe متكافئة: سؤال: الجملة 1 والجملة 2 بتعبر عن نفس المعنى؟ نعم ولا لا؟