My questions have been addressed, I'm now content with the proposal.

On Thu, 9 Mar 2023 at 18:03, Arnaud Spiwack <arnaud.spiwack@tweag.io> wrote:
On Thu, 9 Mar 2023 at 12:52, Simon Marlow <marlowsd@gmail.com> wrote:
Out of interest, why?

 I'm not sure that I can quite say. The idea of annotations being somewhat implicitly passed, the symmetry with `HasCallStack`: it appeals to me. I guess it's not a very strong preference.