On Sat, Mar 19, 2022 at 12:15 PM Anton Smirnov <sand...@sandfox.me> wrote:
> 1. I think that syntax would be cleaner without the parentheses > > No. https://c.tenor.com/zM15ZrNYp0QAAAAM/no-michael-scott.gif Grouping is never cleaner without parenthesis than it is with them. The actual proposal? Yes. DNF types as the next step in complex type expressions. -Sara
