This section[1] gives a much deeper dive into how I'm thinking about this.

[1] https://docs.clarolang.com/generics/contracts/dynamic_dispat...