In Olin Shivers' memorable phrase, Minimalism and elegance will guide design, but we should bear in mind the dictum that "things should be made as simple as possible, but no simpler." Lambda is not a universally sufficient value constructor. Sounds good, Shriram. Would (I almost said "could" :)) you explain why it's not, why we need lists too?