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

Reply via email to