＝ "t"["λx"."t"["λy".("y" "x")]]