design question

[Walter Bright]

Andrei Alexandrescu wrote:
> keepStable is a template function that simply wraps the range in a 
> different type. It's a way to pass information about the range (e.g., 
> "keep this stable", or "this is sorted already"), to the function 
> understanding it.

Would these be composable? I.e.:

    thisAttribute(thatAttribute(T)) is the same as 
thatAttribute(thisAttribute(T)) ? Would the algorithm detect the 'inner' 
attribute?