Distributive law between monads
வகைக் கோட்பாட்டில், கணிதத்தின் ஒரு சுருக்கமான கிளை, மோனாட்களுக்கு இடையிலான விநியோக விதிகள் இரண்டு இயற்கணித கட்டமைப்புகள் ஒன்றின் மீது மற்றொன்று விநியோகிக்கின்றன என்பதை சுருக்கமாக வெளிப்படுத்த ஒரு வழியாகும். ஒரு வகை சி இல் இரண்டு மோனாட்கள் என்று வைத்துக்கொள்வோம். பொதுவாக, கலப்பு செயல்பாட்டாளர் எஸ். டி. யில் இயற்கையான மோனட் அமைப்பு இல்லை. இருப்பினும், மோனாட் டி மீது மோனாட் எஸ் இன் விநியோக விதி இருந்தால் செயல்பாட்டாளர் எஸ். டி. யில் ஒரு இயற்கையான மோனாட் அமைப்பு உள்ளது. முறைப்படி, மோனாட் டி மீது மோனாட் எஸ் இன் விநியோக விதி ஒரு இயற்கையான மாற்றமாகும், இதனால் வரைபடங்கள் பயணிக்கின்றன. இந்த விதி ஒரு கலப்பு மோனாட் எஸ். டி. யை பெருக்கத்துடன் தூண்டுகிறதுஃ, அலகுஃ மேலும் காண்க விநியோகச் சட்ட குறிப்புகள் இணை செயல்பாட்டாளர்கள்