Summary

To be an actual monadic type, the implementations of
bind and return must conform to the three monad laws.

The Maybe monad illustrates how to create a simple monad and demonstrates its benefits.