Update play.hs