type Foo<'a> = &'a (dyn Send + Sync);
type Foo = *const (dyn Send + Sync);
type Foo = fn() -> (dyn Send + 'static);
fn main() {
    let b = (&a) as &(dyn Add<Other, Output = Addable> + Other);
}