adddownmain.hs