pub struct Alpha<A>(/* private fields */) where A: MyTrait;