% From The Art of Eyepl, Chapter 3 — Equality, unification, and the occurs check.
(X = wrapper(X)).