Une Monade est une boite dont le contenu ne peut plus être changé une fois à l'intérieur (Container), muni d'une méthode map renvoyant un clone modifié du Container originel (Functor) et d'une méthode flatMap qui extrait le contenu du Container avant d'appliquer une transformation dessus.

Elles servent, par exemple, à gérer des cas d'erreurs (monades Option et Result)