Update Server.hs