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