Update p13.hs