Compare commits

...
A pull request between these branches already exists: syndicate-lang/syndicate-protocols#11

Reorder alternatives to fail by default #11