y * y的lambda表达式是什么？

Question

我一直在阅读lambda演算，想知道y ^ 2的lambda表达式是什么样。