pub fn tp_enum(ty: Type, s: Set<TyParam>) -> Type