k = λx.λy.x