pub fn Collection(ty: Type, size: INT) -> Type