pub type OpenWith<Transform, Wrapper> = <Transform as OpenAlg>::With<Wrapper>;
Carries a declaration with one more wrapper inside those it already states.