show that the Y combinator is working!