Valaki el tudná magyarázni röviden, hogy mi az a monád?

Akkor olvasgassál még.

Funkcionális paradigmában a monád tulajdonképpen egy paraméterezett típus, ami meghatározza műveletek kiértékelési sorrendjét. Ám ez egy nagyon egyszerű megfogalmazás, a monádok ennél sokkal komplexebbek. A lényegük az, hogy megoldanak olyan problémákat, amelyeket önmagában nem lehet állapot nélküli függvényekkel leírni. Például hogyan implementálnál hibakezelést, vagy az I/O operációkat? Sehogy, mert ezekhez szükség van állapotok bevezetésére, azonban monádok segítségével funkcionálisan oldhatsz meg ilyen jellegű problémákat.