Perhaps type parameters to roles could also be written in (T) notation:

    role Tree[(Returns)] {...}

but that would imply the parameter name is "Returns" rather than
"returns".  Maybe that's okay, since it's usually a positional
parameter or a special "of" form anyway.

Larry

Reply via email to