Ad-hoc polymorphism erodes type-safety
cs-syd.eu