Silly little example explaining why we need domain theory even for the denotation of the simply typed lambda calculus