Started work on example17

aka WriterAllAboutMonadsExample