Paper at <a href="https://mlaurent.ovh/assets/polymorphic_type_inference.pdf" rel="nofollow">https://mlaurent.ovh/assets/polymorphic_type_inference.pdf</a><p>(via <a href="https://x.com/duboc_guillaume/status/1803406402674680118" rel="nofollow">https://x.com/duboc_guillaume/status/1803406402674680118</a>)