Could you name (ie introduce a a def)/ and explain `quantified == underlying.typeArgs.map(_.typeSymbol)`?