error: pack argument of type 'Naked' does not conform to protocol 'Show'
  --> /Users/agra/projects/sx/examples/192-pack-non-conform.sx:22:30
   |
22 |     print("{}\n", howmany(a, n));   // `n` does not conform to Show
   |                              ^
