Adding first example from You Could Have Invented Monads to verify ideas