Made Eval non-monadic again