another example where `Box` is useful: closure captures

[nsajko]

Often Box would be preferable to Core.Box to ensure good type inference, in the context of closure captures that get assigned to.