fn `make graphic pipline type` (`texture type`: meta _ |T|, `pipeline pass`: meta _ |P|)
with |T: Any -satisfies: `Texture type descriptor`, P: Any -satisfies: `Pipeline pass descriptor`|
-return: meta _ `Texture Pipeline` with |`Pipeline Pass`: P, `Texture Type`: T| {
 return specialize _ `Texture Pipeline`
 with |`Pipeline Pass`: `pipeline pass`, `Texture Type`: `texture type`|;
};

case `Fix-Sized` with |`Maximal Number of Elements`: val Unsigned Integer| 
of some iso..tag Collection with |Element: this.. T||T: AnyObject| {

 //Categories should be parametrizable
 category `Must not contain more than (`allowed amount of elements`: Unsigned Integer)` {
  applicant var;
  $.type is meta _ Collection;
  $.capacity <= `allowed amount of elements`
 };

 refine self var buffer: this `Memory Buffer` as
 -`has requirement`: `Must not contain more than (`Maximal Amount of Elements`)`;
 fn `make new` (
  `filled with` elements: Self.Element, 
  `number of elements`: `Maximal Amount of Elements`)
 -return: this Self 
 -`convinience constructor`
 -`type member` {
  ...
 };
};