Forgot lookup and eta-reduce.