Exploring data in the simply typed lambda calculus