Sean Kelly wrote: > So for the record. I do think the overload checking is a good idea--it just needs > to be clearly documented somewhere (if it isn't already). And the 'super' thing > makes total sense--there's no instance so 'super' isn't technically valid. Aren't "super" calls bound at compile-time?