Ce sunt Monad respectiv MonadPlus ?

• Teoreticianul va raspunde ca sunt doua clase predefinite.
• Practicianul programator va spune ca este vorba de Biblioteci Haskell care definesc structira algebrica (generica) de Monada. Programatorul va importa aceasta biblioteca atunci cand va avea de lucrat cu monade, de exemplu la scrierea interpretoarelor sau compilatoarelor.
• Matematicianul va spune ca Monada sau Tripleta Kleisli este o notiune din Teoria Categoriilor care apare si in anumite lucrari de topologie algebrica.
• Monda poate fi inzestrata uneori cu un operator "+" ba chiar si cu un "zero" caz in care structura sa algebrica va avea mai multe proprietati.