Instead the abstract idea behind the actor may be brought forward.

This is a big step forward in reducing verbosity but is still not any more abstract - it still forces the user to calculate the comparison function imperatively.

"I'm looking forward to a whole host of new arguments over what is and isn't an abstract idea," Helfgott said.