Implement fixed-point combinator.
Simplify the code with eta-reduction.
Change function objects to functions.
Adjust alignment.
Adjust alignment.