コンピュータサイエンスにおけるモナドの概念は、数学者がカテゴリー理論で最初に説明したものだが、関数型プログラミングでモナドを使うという具体的なアイデアと、プログラミング言語Haskellにおけるモナドの実装は、フィリップ・ワドラーの功績とされている。
The concept of monads in computer science was first described by mathematicians in category theory, but the specific idea of using monads in functional programming and the implementation of monads in the Haskell programming language is credited to Philip Wadler.