This more concrete wrapper type can write a prefix the very first time something is written to it. This allows removing plenty of useless monomorphisations caused by the former W/SequenceWriter<W> pair of types.
It's not needed since #18268
This introduces an additional shadow type for drop-shadow().