So X1 must have the behavior of the `even` function. Fortunately, it's easy to write
such a function without using any fixed-point combinators...
So X1 must have the behavior of the `even` function. Fortunately, it's easy to write
such a function without using any fixed-point combinators...