λx.x

Francesco Cauteruccio