Towards the end of the review I mentioned a potential solution that avoids closing off the ~Discardable future direction. The justification in the acceptance sounds like it boils down to "it would be a number of years before we regret this decision", which isn't really comforting, at least to me. Is my suggestion of temporarily giving this type a different name not viable? Or is there a stronger argument as to why we won't regret accepting this proposal with this name?