TSa wrote:
And while we're at it, could we also introduce the subtype operator <: and perhaps >: as the supertype operator? This would come in handy for expressing type constraints in does clauses.
Isn't one of those called ".does()"? -- Jonathan "Dataweaver" Lang