DSTify Show

r? @aturon 
cc #16918
I'd vote to go ahead and add `Sized?` to those traits as well -- seems like there's little harm. Otherwise, this PR looks good to me!