https://typesanitizer.com/blog/ad-hoc-polymorphism.html · An informal survey of the design space for ad-hoc polymorphism in a programming language.