add 009 README and 009.hs