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