Do we really want to make users remember where `yes`/`no` are allowed and where they're not?  The idea here, aside from making type authors' lives easier, is to lower the cognitive burden on the user.