Very short notice I'm afraid, but let's try and get together this month anyway. Richard and Kingsley have suggested we talk about types, meaning not so much the helping hand the compiler gives you, more along the lines of how funky features are useful. Or are they? Are type classes the answer to everything? Haskell and Scala have the most prominent language level-support for type class-based programming, but it'd be very interesting to see how the same sort of things can be done in other languages.