macro_rules! already_sync {
    ($([$ty: ty])*) => { ... };
}