Dynamically-dispatched protocol extension members