let x = 2 in 
(\t \f t) 'y 'n