App and Let cases of W from book (let is polymorphic)