pub fn ungroup(ty: &Type) -> &Type