Here is a collection of definitions for Monads:
Monad
"A monad is a triple (M; unit; *) consisting of a type constructor M and two operations of the given polymorphic types."
"They let you chain pass [bind] operations together to make little computational pipelines, with rules of your choosing. They don’t manipulate values themselves — that’s the job of the blocks (functions) you plumb together using the monad."
