pub type BoxedWindowState = Box<dyn WindowState + Send + Sync>;
struct BoxedWindowState(/* private fields */);