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.