[anonymoushn]

So "type driven dispatch" meant only dispatch that can be decided at compile time? Is it even called dispatch at that point?

[mintplant]

Yeah, static dispatch.