Update evaluation.hs