eval.hs