So I guess we're fine with the current approach to erasure abstraction boundary: http://groups.google.com/group/scala-internals/browse_thread/thread/18f5f0740bbe3d2a?