名前は聞いたことがあるけどどんなものかがまったく分からないモナドです。
モナドの条件として(>>=)とreturnの二つを実装する必要があり、これがモナド則を満たしている必要があるとのこと。具体的に三つのモナド則が書いてあるのですが、いきなり見せられてもよく分かりません。
ひとまず分からないまま、Maybeモナドの説明を読みました。Maybeモナドについては分かったような気がします。
それだけでは少し心許なかったのでGoogleで検索。Maybeモナドのパイプラインとモナドの物理的なアナロジーを読んで少し補強しておきました。