En monad är ett begrepp inom funktionell programmering som fungerar som en container eller ett skal för värden. Den kapslar in ett värde och tillhandahåller ett standardiserat sätt att sekventiellt kedja operationer på detta värde, samtidigt som den hanterar sidoeffekter eller kontext. Monader gör i relevanta situationer.