Böhm-Beraducci encoding of Fix

I have the fixed point functor defined as follows:

Böhm-Beraducci encoding of Fix

I have the fixed point functor defined as follows:

Böhm-Beraducci encoding of Fix

I have the fixed point functor defined as follows:

Böhm-Beraducci encoding of Fix

I have the fixed point functor defined as follows:

Böhm-Beraducci encoding of Fix

I have the fixed point functor defined as follows: