Your comment lead me to the more accurate, and hopefully not much slower `(quantified corresponds underlying.typeArgs){ (q, a) => q.typeConstructor =:= a }`