John A. De Goes

I think the cornerstone of this hierarchy should be `Distributive` (a semiring), in keeping with other naming conventions. In addition, a distributive is really a pair of other binary operators...

@adamgfraser I like this SOOO much more and hope it works out.

Other comments: - We still need to think about names - Technically the mere existence of product and sum should not necessarily imply that products distribute over sums, perhaps, but...

@adamgfraser Agree with Adam! Would be good to get this in, and just under an experimental package so we have the flexibility to evaluate it for a while. Thank you...

See #1460. Once that is done, it matters less if those layers depend on other things, so long as we can hide that in the "top level" layers (`Client` and...

No one is working on this, I don't think.

I think #1505 suggests we add `Server#shutdown` so let's track this issue there.

@cartazio I like the idea. Should be pretty straightforward to do, maybe with an annotation.

Here are a few ideas: 1. You could use the combination of annotations mentioned: `jsonDiscriminator` to put the tag for sum types in a `type` field, and `jsonHint` to change...

Closed by #1463. Thank you for your (parallel) work on this!