(let id (fn x T T x))