Ralf Hinze Polytypic Programming With Ease. 2001 2001 Journal of Functional and Logic Programming 3 db/journals/jflp/jflp2001.html#Hinze01