Add the fixpoint combinator.
Use the y combinator in take_while.