Lambda the Ultimate

I went over the OOPSLA'08 program, and these two items caught my eye:
(1) Constrained Types for Object-Oriented Languages
(2) Whiteoak: Introducing Structural Typing into Java

Looking at the abstracts of these papers (and also other abstracts from the program) brought up a thought that's been wrapping around my mind for sometime: The border between programming paradigms not as clear as it used to be.

Personally, I think this is a good thing. For example, I believe that closures are very useful in OO. My only problem with this line of thought is that I also believe in the beauty of minimalism. A language that borrows constructs from several paradigms will (usually) not be minimal. A conundrum?