برمجة وظيفية, رياضيات, علوم الحاسوب, نظرية الفئات

الموناة القوية (Strong Monad)