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