Continuing with second post in the monads series
Final version of second post in monads series
Simple rephrasing