Eval4.hs