Single monad

Maybe is just another type of monad, there are a lot more; we will cover a few of the most important ones in later chapters, and combine them with reactive programming as well.