Report question

Question: How do I define y-combinator without "let rec"?