We were inadvertently destroying the let/app invariant, by floating into an unlifted function argument.