fn insert_ty(res: &mut Vec<RenderType>, ty: Type, generics: Vec<RenderType>)