This won't help you today but: 1. We are considering giving structs inheritance as part of replacing alias this. 2. I want a way to mark a method as 'reinterpreted' by the child class/struct. Specifically for serialization, removing the need for doing any lookups like this.