Trait SyncImplicit
implicit
pub trait SyncImplicit: Sync + Implicit { }
impl<A> SyncImplicit for A where A: Implicit + Sync,