Comment by zozbot234

> I'm not actually sure what to call this

I'd call it "Making ad-hoc polymorphism less ad hoc".