pub struct Alpha<A>(_) where A: MyTrait;