- <code>0 ≡ \f z. z
- <code>1 ≡ \f z. f z
- <code>2 ≡ \f z. f (f z)
- <code>3 ≡ \f z. f (f (f z))
+ <code>0 ≡ \f z. z</code>
+ <code>1 ≡ \f z. f z</code>
+ <code>2 ≡ \f z. f (f z)</code>
+ <code>3 ≡ \f z. f (f (f z))</code>