On Thu, 9 Mar 2023 at 12:52, Simon Marlow 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.
