Well yes, the problem is that we don't attach methods to a type so when you write `G[T]` we cannot instantiate every method that "belongs to" `G`. And methods we don't generate cannot participate in the dispatching process.
Now that I've written that, maybe we can instantiate generics during dispatcher generation...
