pub trait Ctor { type Ty<'a>; }
Trait for type constructors that take one single lifetime parameter. See also Cov for Deref on Guard.
Cov
Deref
Guard