Polytypic Programming With Ease - Hinze, R (Journal of Functional and Logic Programming, 2001)