error: 'v' is not part of protocol 'Box' — a pack element exposes only the protocol's interface
  --> /Users/agra/projects/sx/examples/195-pack-interface-only.sx:16:12
   |
16 |     return xs[0].v;   // `v` is not part of Box — error
   |            ^^^^^^^