Polymorphism Meets DHOL. - Rhea Ranalter; Florian Rabe 001; Cezary Kaliszyk (CoRR, 2026)