ML لديها مونادات أيضًا: الأمر كله يتعلق بالوحدات النمطية

يتم التشكيك في المفهوم الشائع بأن استخدام المونادات في Haskell هو ميزة فريدة للغة. يجادل الكاتب بأن المونادات هي مسألة تصميم المكتبة، وليس تصميم اللغة، ويمكن تحقيقها في أي لغة نمطية. تستخدم المقالة ML لإظهار كيفية تنفيذ المونادات، بما في ذلك مونادات الخيار و IO، باستخدام نظام الوحدات النمطية الخاص بها. على الرغم من الاعتراف بقدرة ML على استخدام المونادات، يقترح الكاتب أن حذفها الافتراضي ينبع من عيوب محتملة، مثل صعوبة ضمان مرونة الكود والانتقال بين الأنماط الوظيفية والمونادية.