Questions about fixed-point combinators, used to encode recursion.
I was a bit confused by the documentation for fix (although I think I understand what it's supposed to do …