I sketched out one approach to composition using a family of protocols to support higher-order property delegates. Now that the restriction on a single generic argument of Value has been removed I think something along these lines would work. I think this is an area that will need to see some exploration and experience before anything along these lines would be considered as a proposal though.
1 Like