Recall that the definition of the Y combinator is
x = f x -- fixed-point
Y f = f (Y f)
The simplest recursion is
x = x -- [error: cannot reference a symbol before it is defined]
Create a function repeat
that takes a function that calls itself.