Exactly. Recently I was showing my coworkers how the type class pattern works in Scala, and was arguing that this was very OO, just not OO the way someone from

Exactly. Recently I was showing my coworkers how the type class pattern works in Scala, and was arguing that this was very OO, just not OO the way someone from the Java/C++ branch family tree would think of it - but rather more along the lines of what you see in CLOS, Dylan, R's S4, etc. They weren't buying what I was selling, but I'm still selling it.