We should have a "maximally fancy" bookseller example, that somehow combines HasChor's best features (higher-order, location polymorphic) and uses multicast, enclaving, and ideally fanout/fanin.
On the other hand, maybe we'd rather just say "Here's how you'd do the stuff HasChor did, in our system from scratch" without trying to make Bookseller into an advanced example...
We should have a "maximally fancy" bookseller example, that somehow combines HasChor's best features (higher-order, location polymorphic) and uses multicast, enclaving, and ideally fanout/fanin.
On the other hand, maybe we'd rather just say "Here's how you'd do the stuff HasChor did, in our system from scratch" without trying to make Bookseller into an advanced example...