λ(λ@@λ(#@(@)))