Update prog.hs