Monadic IO to implement eval (and quote)?