Co-inductive example using divergence of lambda terms