added wadler paper on ad-hoc poly