The Monad Type Class
Maybe is an instance of Monad