Property accessor that is decaying tagged algebraic to a type accepted by decorated accessor.
ImplSpec:
Any tagged algebraic will be decayed to type X which is accepted by decorated property or fail to do so.
Any field returned from accessor are wrapped in same tagged algebraic, therefore there is a constraint that
tagged algebraic should be able to hold both the component and it's field.
Property accessor that is decaying tagged algebraic to a type accepted by decorated accessor.
ImplSpec: Any tagged algebraic will be decayed to type X which is accepted by decorated property or fail to do so. Any field returned from accessor are wrapped in same tagged algebraic, therefore there is a constraint that tagged algebraic should be able to hold both the component and it's field.