On Wed, Jan 21, 2009 at 8:54 PM, David Waern <david.waern at gmail.com> wrote: > Perhaps we should not display unbox annotations at all since they are > an implementation detail, right? We could display one "!" instead, > indicating that the argument is strict. Yes. I think that's enough. Cheers, Johan