Bruno Medeiros wrote: > As Regan asked before, and how would that work for classes? This is a > most fundamental issue that has not been mentioned. Without a way to > declare tail const/invariant, this design, no matter how simpler or more > understandable, is fundamentally *broken*. What, exactly, is the use case that needs a solution?