What about hiding the methods coming from the traits? We don't show the methods coming from superclasses so I don't see any reason why methods coming from traits should be visible. And yes, I'm aware that trait methods are in the method dictionary of the class, but this is implementation detail :-)