Monada listelor

O monada foarte simpla in care injectia (cu) 'return' transforma elementul a in lista cu acel element: [a]. Impreuna cu un operator (>>=) bine ales formeaza o monada care se poate folosi la simularea paralelismului si la alte aplicatii, printre care scrierea unor succesiunui de calcule in do-notatie.

Este asemanatoare cu monada Maybe construita in jurul tipului Maybe.