" chase(mouse)(cat) ￭λx.λy.chase(mouse)(y)￭ ￭λxλy.chase(x)(y)￭ ￭mouse￭ ￭cat￭