pub type FlattenOf<X> = <<X as Xap>::Size as Size>::Flatten<X>;
Resulting xap type after flatten.
flatten