Given that `pred' would typically be included inthe error message, I don't think diagnostics areimproved much either. Do we really need thissecond syntax?