Hmm so why did boxed() do type erasure in the first place?