similarly, I wonder if it’s worth adding an abstraction on top of this to materialize a property or function’s specific types. At a glance, my impression is if I don’t know which type defined the type I have to iterate through them all until there’s a match?