Could you also ensure that `Box<Trait>` can become `&Trait`?