A monad in programming is a composable computation description. Monads are an important construct in functional programming languages like Haskell.
