pub fn filter_inner_type(ty: &Type, skip_over: &HashSet<&str>) -> Type